A Comparison of Petri Net Semantics under the Collective Token Philosophy
- 30 November 1998
- book chapter
- Published by Springer Nature
- p. 225-244
- https://doi.org/10.1007/3-540-49366-2_18
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Mapping tile logic into rewriting logicPublished by Springer Nature ,1998
- Membership algebra as a logical framework for equational specificationPublished by Springer Nature ,1998
- On the semantics of place/transition Petri netsMathematical Structures in Computer Science, 1997
- Representation theorems for Petri NetsPublished by Springer Nature ,1997
- Axiomatizing the algebra of net computations and processesActa Informatica, 1996
- Process versus unfolding semantics for Place/Transition Petri netsTheoretical Computer Science, 1996
- An event structure semantics for general Petri netsTheoretical Computer Science, 1996
- Petri nets are monoidsInformation and Computation, 1990
- A logic for distributed transition systemsPublished by Springer Nature ,1989
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987