Hierarchies in Coloured Petri Nets
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 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
- Predicate/Transition NetsPublished by Springer Nature ,1987
- Reachability trees for high-level petri netsTheoretical Computer Science, 1986
- How to find invariants for coloured Petri netsPublished by Springer Nature ,1981