Characterizing behavioural congruences for Petri nets
Authors:
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 175-189
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- On the category of Petri net computationsLecture Notes in Computer Science, 1995
- Action calculi, or syntactic action structuresLecture Notes in Computer Science, 1993
- The box calculus: A new causal algebra with multi-label communication1992
- Games and full Completeness for multiplicative Linear Logic1992
- A Linear Specification Language for Petri NetsDAIMI Report Series, 1991
- Petri nets are monoidsInformation and Computation, 1990
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- Notes on Communicating Sequential Systems1986
- Automata and concurrencyTheoretical Computer Science, 1983
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981