A compositional framework for Petri nets

DOI10.1007/978-3-031-66438-0_9MaRDI QIDQ6666780

Ichiro Hasuo, Clovis Eberhart, Serge Lechenne

Publication date: 20 January 2025

zbMATH Keywords

Petri netscompositionalitycategory theory

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interacting Hopf algebras
• Braided tensor categories
• A Survey of Graphical Languages for Monoidal Categories
• Compositional Reachability in Petri Nets
• Props in Network Theory
• Traced monoidal categories
• Understanding Petri Nets
• The Algebra of Directed Acyclic Graphs
• Open Petri nets
• A compositional framework for reaction networks
• Compositional probabilistic model checking with string diagrams of MDPs

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)