Algebraic Models for Contextual Nets
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 175-186
- https://doi.org/10.1007/3-540-45022-x_15
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A Comparison of Petri Net Semantics under the Collective Token PhilosophyPublished by Springer Nature ,1998
- Axioms for contextual net processesPublished by Springer Nature ,1998
- An event structure semantics for P/T contextual nets: Asymmetric event structuresPublished by Springer Nature ,1998
- On the semantics of place/transition Petri netsMathematical Structures in Computer Science, 1997
- Axiomatizing the algebra of net computations and processesActa Informatica, 1996
- Rewriting logic as a semantic framework for concurrency: a progress reportPublished by Springer Nature ,1996
- Semantics of Inhibitor NetsInformation and Computation, 1995
- Contextual netsActa Informatica, 1995
- Petri nets are monoidsInformation and Computation, 1990
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987