Modal Open Petri Nets

DOI10.1007/978-3-030-21571-2_2OpenAlexW2949942083MaRDI QIDQ6184717

Unnamed Author, Walter Vogler

Publication date: 29 January 2024

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21571-2_2

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular construction and partial order semantics of Petri nets
• Deterministic buffer synchronization of sequential processes
• A trace-based service semantics guaranteeing deadlock freedom
• Nondeterministic modal interfaces
• Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
• Refinement and Asynchronous Composition of Modal Petri Nets
• On Weak Modal Compatibility, Refinement, and the MIO Workbench
• Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

This page was built for publication: Modal Open Petri Nets