Causal behaviours and nets

This publication has 25 references indexed in Scilit:

• Using Petri nets as a model for Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Local event structures and Petri nets
  Published by Springer Nature ,1993
• Generalized stochastic Petri nets: a definition at the net level and its implications
  IEEE Transactions on Software Engineering, 1993
• Causal automata
  Theoretical Computer Science, 1992
• The box calculus: A new causal algebra with multi-label communication
  Published by Springer Nature ,1992
• Geometric logic, causality and event structures
  Published by Springer Nature ,1991
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• A formal semantics for concurrent systems with a priority relation
  Acta Informatica, 1987
• Coloured petri nets and the invariant-method
  Theoretical Computer Science, 1981