A categorical semantics for hierarchical Petri nets

DOI10.4204/eptcs.350.4MaRDI QIDQ6649536

Fosco Loregiàn, Jelle Herold, Unnamed Author, Daniele Palombi

Publication date: 6 December 2024

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets are monoids
• Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
• Nets with mana: a framework for chemical reaction modelling
• Petri Nets for Modelling and Analysing Trophic Networks
• Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
• Petri nets based on Lawvere theories
• (Co)end Calculus
• Asynchronous Traces and Open Petri Nets
• Open Petri Nets: Non-deterministic Processes and Compositionality
• Elementary observations on 2-categorical limits
• Introduction to bicategories
• On the category of Petri net computations
• A Categorical Semantics for Guarded Petri Nets
• Open Petri nets
• A Survey of Decidability Results for Elementary Object Systems
• Profunctors, open maps and bisimulation

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