Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
ML for the working programmer
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
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
Modeling business processes with simulation tools
WSC '94 Proceedings of the 26th conference on Winter simulation
Integrating BPR with image-based work flow
WSC '94 Proceedings of the 26th conference on Winter simulation
Visual Modelling of Complex Business Processes with Trees, Overlays and Distortion-based Displays
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
| Hi-index | 0.01 |