A Categorical Semantics for Guarded Petri Nets

DOI10.1007/978-3-030-51372-6_4zbMath1502.68191arXiv2002.02762OpenAlexW3037995623MaRDI QIDQ5100726

Fabrizio Genovese, David I. Spivak

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.02762

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Monoidal categories, symmetric monoidal categories (18M05)

Related Items (1)

Nets with mana: a framework for chemical reaction modelling

Uses Software

• GitHub
• Statebox

Cites Work

• Petri nets are monoids
• Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
• Petri nets based on Lawvere theories
• Coloured Petri Nets
• On the category of Petri net computations

This page was built for publication: A Categorical Semantics for Guarded Petri Nets