A Categorical Semantics for Guarded Petri Nets
share
We build on the correspondence between Petri nets and frees ymmetric strict monoidal categories already investigated in the literature, and present a categorical semantics for Petri nets with guards. This comes in two flavors: Deterministic and with side-effects. Using the Grothendieck construction, we show how the guard semantics can beinternalized in the net itself.
READ FULL TEXT