A Categorical Semantics for Guarded Petri Nets

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,...

Descripción completa

Detalles Bibliográficos
Autores principales: Genovese, Fabrizio, Spivak, David I.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7314712/
http://dx.doi.org/10.1007/978-3-030-51372-6_4
_version_ 1783550116234264576
author Genovese, Fabrizio
Spivak, David I.
author_facet Genovese, Fabrizio
Spivak, David I.
author_sort Genovese, Fabrizio
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7314712
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73147122020-06-25 A Categorical Semantics for Guarded Petri Nets Genovese, Fabrizio Spivak, David I. Graph Transformation Article 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. 2020-05-31 /pmc/articles/PMC7314712/ http://dx.doi.org/10.1007/978-3-030-51372-6_4 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Genovese, Fabrizio
Spivak, David I.
A Categorical Semantics for Guarded Petri Nets
title A Categorical Semantics for Guarded Petri Nets
title_full A Categorical Semantics for Guarded Petri Nets
title_fullStr A Categorical Semantics for Guarded Petri Nets
title_full_unstemmed A Categorical Semantics for Guarded Petri Nets
title_short A Categorical Semantics for Guarded Petri Nets
title_sort categorical semantics for guarded petri nets
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7314712/
http://dx.doi.org/10.1007/978-3-030-51372-6_4
work_keys_str_mv AT genovesefabrizio acategoricalsemanticsforguardedpetrinets
AT spivakdavidi acategoricalsemanticsforguardedpetrinets
AT genovesefabrizio categoricalsemanticsforguardedpetrinets
AT spivakdavidi categoricalsemanticsforguardedpetrinets

Ejemplares similares