Channel Properties of Asynchronously Composed Petri Nets

DOI10.1007/978-3-642-38697-8_20MaRDI QIDQ5300882zbMATH OpenOpenAlexFDO

Authors Serge Haddad, Rolf Hennicker, Mikael H. Møller

Publication date 28 June 2013

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-642-38697-8_20

Mathematics Subject Classification ID

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

Recommendations

• Asynchronous communication of Petri nets and the refinement of transitions
• Synchronous and asynchronous communications in composable parametrized high-level Petri nets
• Asynchronous composition of high level Petri nets: a quantitative approach
• Asynchronous traces and open Petri nets
• Encoding Asynchronous Interactions Using Open Petri Nets
• Refinement and asynchronous composition of modal Petri nets
• Specification of asynchronous component systems with modal I/O-Petri nets
• scientific article; zbMATH DE number 177265
• scientific article; zbMATH DE number 177506

Cited in

(8)

• Connecting open systems of communicating finite state machines
• Distributed synthesis of asynchronously communicating distributed process models
• Specification of asynchronous component systems with modal I/O-Petri nets
• Refinement and asynchronous composition of modal Petri nets
• Floating channels between communicating nets
• Compatibility properties of synchronously and asynchronously communicating components
• Trace- and failure-based semantics for responsiveness
• On the preservation of properties when changing communication models

This page was built for publication: Channel Properties of Asynchronously Composed Petri Nets

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