Characterizing behavioural congruences for Petri nets

This publication has 17 references indexed in Scilit:

• Axiomatizing net computations and processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On the category of Petri net computations
  Published by Springer Nature ,1995
• Action calculi, or syntactic action structures
  Published by Springer Nature ,1993
• The box calculus: A new causal algebra with multi-label communication
  Published by Springer Nature ,1992
• Games and full Completeness for multiplicative Linear Logic
  Lecture Notes in Computer Science, 1992
• Petri nets are monoids
  Information and Computation, 1990
• Petri nets, algebras, morphisms, and compositionality
  Information and Computation, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Automata and concurrency
  Theoretical Computer Science, 1983
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981