A Categorical Semantics for Guarded Petri Nets

01/29/2020

∙

by   Fabrizio Genovese, et al.

∙

0

∙

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.