A trace semantics for Petri Nets

This publication has 11 references indexed in Scilit:

• Branching processes of Petri nets
  Acta Informatica, 1991
• Elementary transition systems
  DAIMI Report Series, 1990
• Behavioural notions for elementary net systems
  Distributed Computing, 1990
• Partial (set) 2-structures
  Acta Informatica, 1990
• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• Event structures
  Published by Springer Nature ,1987
• Csp-programs as nets with individual tokens
  Published by Springer Nature ,1985
• On the relationship of CCS and petri nets
  Published by Springer Nature ,1984
• The non-sequential behaviour of Petri nets
  Information and Control, 1983
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981