Executing Transactions in Zero-Safe Nets

This publication has 20 references indexed in Scilit:

• Zero-Safe Nets: Comparing the Collective and Individual Token Approaches
  Information and Computation, 2000
• Functorial semantics for Petri nets under the individual token philosophy
  Electronic Notes in Theoretical Computer Science, 1999
• A Comparison of Petri Net Semantics under the Collective Token Philosophy
  Published by Springer Nature ,1998
• Zero-safe nets: The individual token approach
  Published by Springer Nature ,1998
• Zero-Safe Nets, or Transition Synchronization Made Simple
  Electronic Notes in Theoretical Computer Science, 1997
• General refinement and recursion operators for the Petri Box calculus
  Published by Springer Nature ,1993
• The box calculus: A new causal algebra with multi-label communication
  Published by Springer Nature ,1992
• A survey of behaviour and equivalence preserving refinements of petri nets
  Published by Springer Nature ,1991
• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• Comments on capabilities, limitations and “correctness” of Petri nets
  ACM SIGARCH Computer Architecture News, 1973