Channel Properties of Asynchronously Composed Petri Nets

DOI10.1007/978-3-642-38697-8_20zbMath1381.68203OpenAlexW1876502793MaRDI QIDQ5300882

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

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)

Related Items (4)

Distributed synthesis of asynchronously communicating distributed process models ⋮ Trace- and failure-based semantics for responsiveness ⋮ Connecting open systems of communicating finite state machines ⋮ Unnamed Item

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