%0 Journal Article %1 genovese2020categorical %A Genovese, Fabrizio %A Spivak, David I. %D 2020 %K category-theory %T A Categorical Semantics for Guarded Petri Nets %U http://arxiv.org/abs/2002.02762 %X We build on the correspondence between Petri nets and free symmetric 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 be internalized in the net itself.

@article{genovese2020categorical, abstract = {We build on the correspondence between Petri nets and free symmetric 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 be internalized in the net itself.}, added-at = {2020-02-11T12:26:21.000+0100}, author = {Genovese, Fabrizio and Spivak, David I.}, biburl = {https://www.bibsonomy.org/bibtex/2d06b552c43b0af712c30a01e4f538ad3/kirk86}, description = {[2002.02762] A Categorical Semantics for Guarded Petri Nets}, interhash = {993c1ebdbd871854257258ed84025e78}, intrahash = {d06b552c43b0af712c30a01e4f538ad3}, keywords = {category-theory}, note = {cite arxiv:2002.02762Comment: 24 pages (11 appendix), 13 figures}, timestamp = {2020-02-11T12:26:21.000+0100}, title = {A Categorical Semantics for Guarded Petri Nets}, url = {http://arxiv.org/abs/2002.02762}, year = 2020 }