Reachability Trees for High-level Petri Nets
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Petri Nets With Individual TokensPublished by Springer Nature ,1983
- High-Level Petri NetsInformatik-Fachberichte, 1983
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- How to find invariants for coloured Petri netsPublished by Springer Nature ,1981
- Parallel program schemataJournal of Computer and System Sciences, 1969