Coloured petri nets: A high level language for system design and analysis
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 342-416
- https://doi.org/10.1007/3-540-53863-1_31
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Projections of CE-systemsPublished by Springer Nature ,2005
- Equivalence transformations of PrT-NetsPublished by Springer Nature ,1990
- Petri net tool overview 1989Published by Springer Nature ,1990
- Modelling architectural features with petrinetsPublished by Springer Nature ,1987
- Petri net based models in the specification and verification of protocolsPublished by Springer Nature ,1987
- Predicate/Transition NetsPublished by Springer Nature ,1987
- Structure Theory of Petri Nets: the Free Choice HiatusPublished by Springer Nature ,1987
- Petrireve: Proving Petri net properties with rewriting systemsPublished by Springer Nature ,1985
- Petri Nets Specification of Virtual Ring ProtocolsPublished by Springer Nature ,1983
- System modelling with high-level Petri netsTheoretical Computer Science, 1981