Hierarchies in coloured petri nets
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 313-341
- https://doi.org/10.1007/3-540-53863-1_30
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Informal Introduction to Coloured Petri NetsPublished by Springer Nature ,1996
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Specification and properties of a cache coherence protocol modelPublished by Springer Nature ,1987
- Predicate/Transition NetsPublished by Springer Nature ,1987
- Coloured Petri NetsPublished by Springer Nature ,1987
- Reachability trees for high-level petri netsTheoretical Computer Science, 1986
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- How to find invariants for coloured Petri netsPublished by Springer Nature ,1981