Zero-Safe Nets: Comparing the Collective and Individual Token Approaches
- 1 January 2000
- journal article
- Published by Elsevier in Information and Computation
- Vol. 156 (1-2) , 46-89
- https://doi.org/10.1006/inco.1999.2819
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Representation theorems for Petri NetsPublished by Springer Nature ,1997
- An axiomatization of the algebra of Petri net concatenable processesTheoretical Computer Science, 1996
- Axiomatizing the algebra of net computations and processesActa Informatica, 1996
- Process versus unfolding semantics for Place/Transition Petri netsTheoretical Computer Science, 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
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- A method for stepwise refinement and abstraction of Petri netsJournal of Computer and System Sciences, 1983
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979