Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
From MaRDI portal
Publication:3385632
zbMath1486.68113arXiv1805.05988MaRDI QIDQ3385632
Fabrizio Genovese, Jelle Herold
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1805.05988
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (2)
A Categorical Semantics for Guarded Petri Nets ⋮ Nets with mana: a framework for chemical reaction modelling
Cites Work
- Unnamed Item
- An axiomatization of the algebra of Petri net concatenable processes
- Petri nets are monoids
- Coherence for compact closed categories
- Functorial models for Petri nets
- Picturing Quantum Processes
- A Survey of Graphical Languages for Monoidal Categories
- Solving, Estimating, and Selecting Nonlinear Dynamic Models Without the Curse of Dimensionality
- Representations of Petri Net Interactions
- On the category of Petri net computations
This page was built for publication: Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
