Zero-safe nets: The individual token approach

This publication has 16 references indexed in Scilit:

• A categorical linear framework for Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Configuration structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Zero-Safe Nets, or Transition Synchronization Made Simple
  Electronic Notes in Theoretical Computer Science, 1997
• Axiomatizing the algebra of net computations and processes
  Acta Informatica, 1996
• Process versus unfolding semantics for Place/Transition Petri nets
  Theoretical Computer Science, 1996
• On the implementation of concurrent calculi in net calculi: two case studies
  Theoretical Computer Science, 1995
• The box calculus: A new causal algebra with multi-label communication
  Published by Springer Nature ,1992
• Petri nets are monoids
  Information and Computation, 1990
• A distributed operational semantics for CCS based on condition/event systems
  Acta Informatica, 1988
• Petri net models for algebraic theories of concurrency
  Published by Springer Nature ,1987