Compositional modeling of reactive systems using open nets

DOI10.1007/3-540-44685-0_34MaRDI QIDQ4791852zbMATH OpenFDO

Authors Paolo Baldan, Andrea Corradini, Hartmut Ehrig, R. Heckel

Publication date 3 February 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2154/21540502.htm

Mathematics Subject Classification ID

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

Recommendations

• Compositional semantics for open Petri nets based on deterministic processes
• Open Petri Nets: Non-deterministic Processes and Compositionality
• Place bisimulation and liveness for open Petri nets
• Extensional Petri net
• scientific article; zbMATH DE number 1215062

Cited in

(24)

• Compositional SOS and beyond: A coalgebraic view of open systems
• Place bisimulation and liveness for open Petri nets
• Distributed synthesis of asynchronously communicating distributed process models
• Operational semantics for Petri net components
• Petri net reactive modules
• A theory for the composition of concurrent processes
• A congruence for Petri nets
• Barbed Semantics for Open Reactive Systems
• A Modular LTS for Open Reactive Systems
• Open Petri Nets: Non-deterministic Processes and Compositionality
• scientific article; zbMATH DE number 1215062 (Why is no real title available?)
• Compositional semantics for open Petri nets based on deterministic processes
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Towards a formal framework for inter-enterprise application integration
• Open Petri nets
• A programming language for spatial distribution of net systems
• Open Petri nets as semantic model for workflow integration
• scientific article; zbMATH DE number 5201482 (Why is no real title available?)
• Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
• Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
• Modal Open Petri Nets
• A categorical semantics for hierarchical Petri nets
• Extensional Petri net
• Rewriting structured cospans

This page was built for publication: Compositional modeling of reactive systems using open nets

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