On the category of Petri net computations

DOI10.1007/3-540-59293-8_205MaRDI QIDQ5096741zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• An axiomatization of the category of Petri net computations
• Axiomatizing Petri net concatenable processes
• An axiomatization of the algebra of Petri net concatenable processes
• Axiomatizing the algebra of net computations and processes
• scientific article; zbMATH DE number 3988722

Cites work

• scientific article; zbMATH DE number 4191145 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3892604 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Petri nets are monoids
• Petri nets, algebras, morphisms, and compositionality
• Petri nets, event structures and domains. I
• Sequential and concurrent behaviour in Petri net theory
• The non-sequential behaviour of Petri nets

Cited in

(14)

• A compositional framework for reaction networks
• Executions in (semi-)integer Petri nets are compact closed categories
• A categorical semantics for guarded Petri nets
• Nets with mana: a framework for chemical reaction modelling
• Relaxed models for rewriting logic
• A categorical semantics for bounded Petri nets
• Petri nets based on Lawvere theories
• scientific article; zbMATH DE number 1515282 (Why is no real title available?)
• scientific article; zbMATH DE number 7453982 (Why is no real title available?)
• Process versus unfolding semantics for Place/Transition Petri nets
• A categorical semantics for hierarchical Petri nets
• Petri Nets, Discrete Physics, and Distributed Quantum Computation
• Associative composition of components with double-sided interfaces
• An axiomatization of the algebra of Petri net concatenable processes

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

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