Petri Nets and Algebraic Specifications
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Types and Modules for Net SpecificationsPublished by Springer Nature ,1987
- Petri nets with individual tokensTheoretical Computer Science, 1985
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Hierarchical ordering of sequential processesActa Informatica, 1971