Refinement and asynchronous composition of modal Petri nets

DOI10.1007/978-3-642-29072-5_4MaRDI QIDQ2889610zbMATH OpenOpenAlexFDO

Authors Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker

Publication date 8 June 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29072-5_4

zbMATH Keywords

asynchronous compositioninfinite-state systemmodal language specification and refinementmodal Petri netweak determinacy

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

• Specification of asynchronous component systems with modal I/O-Petri nets
• Asynchronous communication of Petri nets and the refinement of transitions
• Channel Properties of Asynchronously Composed Petri Nets
• scientific article; zbMATH DE number 4049068
• Local state refinement and composition of elementary net systems: an approach based on morphisms

Cited in

(8)

• Specification of asynchronous component systems with modal I/O-Petri nets
• Local state refinement and composition of elementary net systems: an approach based on morphisms
• A compositional framework to the specification of service protocols controllability and substitutability
• scientific article; zbMATH DE number 6831517 (Why is no real title available?)
• Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
• Asynchronous communication of Petri nets and the refinement of transitions
• Channel Properties of Asynchronously Composed Petri Nets
• Modal Open Petri Nets

Describes a project that uses

Uses Software

• MIO Workbench

This page was built for publication: Refinement and asynchronous composition of modal Petri nets

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