Executions in (Semi-)Integer Petri Nets are Compact Closed Categories.

Fabrizio Genovese Jelle Herold

Published in: QPL (2018)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
workflow models
colored petri nets
fuzzy petri net
state machines
service composition
process model
sequence diagrams
concurrent systems
discrete dynamical systems
ims ld
concurrent processes
expert systems