The ins and outs of Petri net composition

DOI10.1007/978-3-031-06653-5_15zbMath1499.68216OpenAlexW4285163315MaRDI QIDQ2165242

Susanna Donatelli, Elvio Gilberto Amparore

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-06653-5_15

zbMATH Keywords

CSPPetri box calculusCCSPetri net composition

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A calculus of communicating systems
• A symbolic reachability graph for coloured Petri nets
• Compositional Petri net approach to the development of concurrent and distributed systems
• Petri net algebra
• Nivat's processes and their synchronization
• Communicating sequential processes
• The PSR methodology: Integrating hardware and software models
• A class of composable high level Petri nets
• The Petri Net Markup Language
• Implementing compositionality for stochastic Petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The ins and outs of Petri net composition