Functorial Models for Petri Nets

This publication has 30 references indexed in Scilit:

• Configuration structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Specification and proof in membership equational logic
  Theoretical Computer Science, 2000
• General Morphisms of Petri Nets (Extended Abstract)
  Published by Springer Nature ,1999
• 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
• Axiomatizing the algebra of net computations and processes
  Acta Informatica, 1996
• A Linear Specification Language for Petri Nets
  DAIMI Report Series, 1991
• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• The basic algebraic structures in categories of derivations
  Information and Control, 1975
• Lokal präsentierbare Kategorien
  Lecture Notes in Mathematics, 1971