On the semantics of Petri Nets

This publication has 16 references indexed in Scilit:

• Axiomatizing net computations and processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Branching processes of Petri nets
  Acta Informatica, 1991
• Modeling concurrency with geometry
  Published by Association for Computing Machinery (ACM) ,1991
• Petri nets are monoids
  Information and Computation, 1990
• A distributed operational semantics for CCS based on condition/event systems
  Acta Informatica, 1988
• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• Petri net models for algebraic theories of concurrency
  Published by Springer Nature ,1987
• Petri Nets
  Published by Springer Nature ,1985
• Event structure semantics for CCS and related languages
  Published by Springer Nature ,1982
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981