Functorial semantics for Petri nets under the individual token philosophy

• 1 January 1999
• journal article
• Published by Elsevier in Electronic Notes in Theoretical Computer Science
• Vol. 29, 21
• https://doi.org/10.1016/s1571-0661(05)80302-0

Abstract

Keywords

• INDIVIDUAL TOKEN PHILOSOPHY
• PETRI NETS
• PARTIAL MEMBRESHIP EQUATIONAL LOGIC
• MONOIDAL CATEGORIES
• PRE-NETS
• PETRI NET