A categorical semantics for guarded Petri nets

DOI10.1007/978-3-030-51372-6_4zbMATH Open1502.68191arXiv2002.02762OpenAlexW3037995623MaRDI QIDQ5100726FDOQ5100726

Authors: Fabrizio Genovese, David I. Spivak 

Publication date: 1 September 2022

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

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.

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

Recommendations

• A categorical linear framework for Petri nets
• Open Petri nets
• Timing Petri nets categorically
• Petri nets are monoids
• scientific article; zbMATH DE number 1497817

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)

Cites Work

• Coloured Petri Nets
• Petri nets are monoids
• On the category of Petri net computations
• Executions in (semi-)integer Petri nets are compact closed categories
• Petri nets based on Lawvere theories

Cited In (6)

• Executions in (semi-)integer Petri nets are compact closed categories
• Nets with mana: a framework for chemical reaction modelling
• Guarded transitions in evolving specifications
• Title not available (Why is that?)
• A categorical semantics for hierarchical Petri nets
• Petri Nets, Discrete Physics, and Distributed Quantum Computation

Uses Software

• GitHub
• Statebox

This page was built for publication: A categorical semantics for guarded Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100726)