On the category of Petri net computations

DOI10.1007/3-540-59293-8_205zbMath1496.68245OpenAlexW1514802384MaRDI QIDQ5096741

Vladimiro Sassone

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_205

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 (11)

A Categorical Semantics for Guarded Petri Nets ⋮ Executions in (Semi-)Integer Petri Nets are Compact Closed Categories ⋮ A compositional framework for reaction networks ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Associative composition of components with double-sided interfaces ⋮ An axiomatization of the algebra of Petri net concatenable processes ⋮ Process versus unfolding semantics for Place/Transition Petri nets ⋮ Petri nets based on Lawvere theories ⋮ Relaxed models for rewriting logic ⋮ Nets with mana: a framework for chemical reaction modelling

Cites Work

• Petri nets are monoids
• Petri nets, algebras, morphisms, and compositionality
• Sequential and concurrent behaviour in Petri net theory
• Petri nets, event structures and domains. I
• The non-sequential behaviour of Petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the category of Petri net computations