Modal Open Petri Nets

DOI10.1007/978-3-030-21571-2_2MaRDI QIDQ6184717zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Refinement and asynchronous composition of modal Petri nets
• Specification of asynchronous component systems with modal I/O-Petri nets
• scientific article; zbMATH DE number 1863181
• Place bisimulation and liveness for open Petri nets
• Open Petri Nets: Non-deterministic Processes and Compositionality

Cites work

• A compositional partial order semantics for Petri net components
• A trace-based service semantics guaranteeing deadlock freedom
• Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
• Deterministic buffer synchronization of sequential processes
• scientific article; zbMATH DE number 3988725 (Why is no real title available?)
• scientific article; zbMATH DE number 4049068 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1863181 (Why is no real title available?)
• Modular construction and partial order semantics of Petri nets
• Nondeterministic modal interfaces
• On weak modal compatibility, refinement, and the MIO workbench
• Refinement and asynchronous composition of modal Petri nets
• Specification of asynchronous component systems with modal I/O-Petri nets

This page was built for publication: Modal Open Petri Nets

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