Sciweavers

969 search results - page 87 / 194
» Recursive Petri nets
Sort
View
ACSD
2009
IEEE
105views Hardware» more  ACSD 2009»
15 years 11 months ago
Genet: A Tool for the Synthesis and Mining of Petri Nets
Josep Carmona, Jordi Cortadella, Michael Kishinevs...
VL
2009
IEEE
114views Visual Languages» more  VL 2009»
15 years 11 months ago
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets
Claudia Ermel, Tony Modica, Enrico Biermann, Hartm...
APN
2009
Springer
15 years 11 months ago
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
Monika Heiner, Martin Schwarick, Alexej Tovchigrec...