Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
High-level Petri nets: theory and application
High-level Petri nets: theory and application
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
WSC '93 Proceedings of the 25th conference on Winter simulation
Modeling an NORAD Command Post Using SADT and Colored Petri Nets
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
An integrated software development methodology based on hierarchical colored Petri Nets
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
| Hi-index | 0.00 |