Non sequential semantics for contextual P/T nets
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 113-132
- https://doi.org/10.1007/3-540-61363-3_7
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Contextual netsActa Informatica, 1995
- On the nature of events: another perspective in concurrencyTheoretical Computer Science, 1995
- A Petri net semantics for π-calculusPublished by Springer Nature ,1995
- On the nature of eventsPublished by Springer Nature ,1992
- Modular Construction and Partial Order Semantics of Petri NetsPublished by Springer Nature ,1992
- Concurrent bisimulations in Petri netsActa Informatica, 1991
- Invariant semantics of nets with inhibitor arcsPublished by Springer Nature ,1991
- Causal treesPublished by Springer Nature ,1989
- Petri NetsPublished by Springer Nature ,1985