Zero-Safe Nets, or Transition Synchronization Made Simple
Open Access
- 1 January 1997
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 7, 55-74
- https://doi.org/10.1016/s1571-0661(05)80466-9
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Petri nets are monoids: a new algebraic foundation for net theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A categorical linear framework for Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Axiomatizing the algebra of net computations and processesActa Informatica, 1996
- On the implementation of concurrent calculi in net calculi: two case studiesTheoretical Computer Science, 1995
- Petri nets are monoidsInformation and Computation, 1990
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- Petri net models for algebraic theories of concurrencyPublished by Springer Nature ,1987
- Event structure semantics for CCS and related languagesPublished by Springer Nature ,1982