Synchronous and asynchronous communications in composable parametrized high-level Petri nets

MaRDI QIDQ5472874zbMATH OpenFDO

Authors Raymond Devillers, Hanna Klaudel

Publication date 19 June 2006

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1500562
• A class of composable high level Petri nets
• scientific article; zbMATH DE number 1435982
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• General composition for high level Petri nets and its properties

Cited in

(7)

• M-nets: a survey
• scientific article; zbMATH DE number 6831517 (Why is no real title available?)
• Synchro-net system: A Petri net model for higher-layer protocols
• scientific article; zbMATH DE number 1500562 (Why is no real title available?)
• Asynchronous composition of high level Petri nets: a quantitative approach
• Asynchronous communication of Petri nets and the refinement of transitions
• Channel Properties of Asynchronously Composed Petri Nets

This page was built for publication: Synchronous and asynchronous communications in composable parametrized high-level Petri nets

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