A categorical semantics for bounded Petri nets

MaRDI QIDQ6153327zbMATH OpenFDO

Authors Fosco Loregiàn, Daniele Palombi

Publication date 13 February 2024

Full work available at URL https://arxiv.org/abs/2101.09100, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.5

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A categorical semantics for guarded Petri nets
• scientific article; zbMATH DE number 1497817
• A categorical semantics for hierarchical Petri nets
• Functorial models for Petri nets
• Open Petri nets

Cites work

• scientific article; zbMATH DE number 1086716 (Why is no real title available?)
• A compositional framework for reaction networks
• Connector algebras for C/E and P/T nets' interactions
• Encoding Asynchronous Interactions Using Open Petri Nets
• Introduction to bicategories
• On the category of Petri net computations
• Open Petri nets
• Petri nets are monoids
• Petri nets based on Lawvere theories
• Understanding Petri Nets
• Universal Petri net

Cited in

(1)

• A categorical semantics for hierarchical Petri nets

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

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