A survey of basic net models and modular net classes
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Design methods based on netsPublished by Springer Nature ,1990
- The semantics of capacities in P/T netsPublished by Springer Nature ,1990
- P/T-systems as abstractions of C/E-systemsPublished by Springer Nature ,1990
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- OBJSA Nets: a class of high-level nets having objects as domainsPublished by Springer Nature ,1988
- Weighted basic Petri netsPublished by Springer Nature ,1988
- GAMERU: A language for the analysis and design of human communication pragmatics within organizational systemsPublished by Springer Nature ,1987
- Structure Theory of Petri Nets: the Free Choice HiatusPublished by Springer Nature ,1987
- Transformations and Decompositions of NetsPublished by Springer Nature ,1987
- Concurrent behaviour: Sequences, processes and axiomsPublished by Springer Nature ,1985