Sciweavers

1019 search results - page 94 / 204
» Petri Net Transformations in the
Sort
View
150
Voted
QEST
2009
IEEE
16 years 1 months ago
Petri Net Analysis Using Decision Diagrams
Gianfranco Ciardo
APN
2009
Springer
16 years 1 months ago
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
Monika Heiner, Martin Schwarick, Alexej Tovchigrec...
132
Voted
MODELS
2009
Springer
16 years 1 months ago
Formal Support for QVT-Relations with Coloured Petri Nets
Juan de Lara, Esther Guerra
178
Voted
ACSD
2008
IEEE
114views Hardware» more  ACSD 2008»
16 years 1 months ago
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
Kyller Costa Gorgônio, Fei Xia