Specification of asynchronous component systems with modal I/O-Petri nets

DOI10.1007/978-3-319-05119-2_13MaRDI QIDQ2830035zbMATH OpenOpenAlexFDO

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

Publication date 9 November 2016

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-05119-2_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Refinement and asynchronous composition of modal Petri nets
• Channel Properties of Asynchronously Composed Petri Nets
• Asynchronous communication of Petri nets and the refinement of transitions
• Extensional Petri net
• scientific article; zbMATH DE number 1500562

Cited in

(9)

• Moving from interface theories to assembly theories
• Refinement and asynchronous composition of modal Petri nets
• scientific article; zbMATH DE number 6831517 (Why is no real title available?)
• scientific article; zbMATH DE number 1973986 (Why is no real title available?)
• scientific article; zbMATH DE number 1979561 (Why is no real title available?)
• Assembly theories for communication-safe component systems
• Channel Properties of Asynchronously Composed Petri Nets
• Applications and Theory of Petri Nets 2004
• Modal Open Petri Nets

Describes a project that uses

Uses Software

• BPEL2oWFN

This page was built for publication: Specification of asynchronous component systems with modal I/O-Petri nets

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