Invariant semantics of nets with inhibitor arcs
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 317-331
- https://doi.org/10.1007/3-540-54430-5_97
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Invariants and paradigms of concurrency theoryPublished by Springer Nature ,1991
- Behavioural notions for elementary net systemsDistributed Computing, 1990
- Towards a theory of simulation for verification of concurrent systemsPublished by Springer Nature ,1989
- Theory of tracesTheoretical Computer Science, 1988
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- A formal semantics for concurrent systems with a priority relationActa Informatica, 1987
- On interprocess communicationDistributed Computing, 1986
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Event structure semantics for CCS and related languagesPublished by Springer Nature ,1982