Elementary net systems
Authors:
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 12-121
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- A technique of state space search based on unfoldingFormal Methods in System Design, 1995
- Elementary transition systems and refinementActa Informatica, 1992
- Event structures and trace monoidsTheoretical Computer Science, 1991
- Determinism → (event structure isomorphism = step sequence equivalence)Theoretical Computer Science, 1991
- Some behavioural aspects of net theoryTheoretical Computer Science, 1990
- Behavioural notions for elementary net systemsDistributed Computing, 1990
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Petri nets: Basic notions, structure, behaviour1986
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Properties of Conflict-Free and Persistent Petri NetsJournal of the ACM, 1978