Concurrent bisimulations in Petri nets
- 1 March 1991
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 28 (3) , 231-264
- https://doi.org/10.1007/bf01178506
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- On representing CCS programs by finite petri netsPublished by Springer Nature ,2005
- Some equivalence notions for concurrent systems. An overviewPublished by Springer Nature ,2005
- Maximality preserving bisimulationTheoretical Computer Science, 1992
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- On the semantics of concurrency: Partial orders and transition systemsPublished by Springer Nature ,1987
- Observing Net BehaviourPublished by Springer Nature ,1987
- Csp-programs as nets with individual tokensPublished by Springer Nature ,1985
- Milner’s Communicating Systems and Petri NetsPublished by Springer Nature ,1983
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975