A compositional framework for Petri nets

DOI10.1007/978-3-031-66438-0_9MaRDI QIDQ6666780zbMATH OpenFDO

Authors Serge Lechenne, Clovis Eberhart, Ichiro Hasuo

Publication date 20 January 2025

Full work available at URL https://doi.org/10.1007/978-3-031-66438-0_9

zbMATH Keywords

category theoryPetri netscompositionality

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites work

• scientific article; zbMATH DE number 3557247 (Why is no real title available?)
• scientific article; zbMATH DE number 7561699 (Why is no real title available?)
• scientific article; zbMATH DE number 3344105 (Why is no real title available?)
• A compositional framework for reaction networks
• A survey of graphical languages for monoidal categories
• Braided tensor categories
• Compositional probabilistic model checking with string diagrams of MDPs
• Compositional reachability in Petri nets
• Interacting Hopf algebras
• Open Petri nets
• Props in Network Theory
• The algebra of directed acyclic graphs
• Traced monoidal categories
• Understanding Petri Nets

This page was built for publication: A compositional framework for Petri nets

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