F. Genovese, and D. Spivak. (2020)cite arxiv:2002.02762Comment: 24 pages (11 appendix), 13 figures.
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.
Description
[2002.02762] A Categorical Semantics for Guarded Petri Nets
%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
}