Towards reachability trees for high-level petri nets
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 215-233
- https://doi.org/10.1007/3-540-15204-0_13
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Towards Reachability Trees for High-level Petri NetsDAIMI Report Series, 1985
- 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
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Parallel program schemataJournal of Computer and System Sciences, 1969