Open Petri Nets: Non-deterministic Processes and Compositionality

DOI10.1007/978-3-540-87405-8_18MaRDI QIDQ3540404zbMATH OpenOpenAlexFDO

Authors Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König

Publication date 20 November 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-87405-8_18

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
• scientific article; zbMATH DE number 1863181
• Open Petri nets
• Extensional Petri net
• Place bisimulation and liveness for open Petri nets

Cites work

• A Behavioural Congruence for Web Services
• A compositional partial order semantics for Petri net components
• A congruence for Petri nets
• A uniform approach to true-concurrency and interleaving semantics for Petri nets
• Applications and Theory of Petri Nets 2004
• Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
• Compositional semantics for open Petri nets based on deterministic processes
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1250176 (Why is no real title available?)
• scientific article; zbMATH DE number 1863157 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• scientific article; zbMATH DE number 1445908 (Why is no real title available?)

Cited in

(6)

• Compositional semantics for open Petri nets based on deterministic processes
• scientific article; zbMATH DE number 1863181 (Why is no real title available?)
• Open Petri nets
• Modal Open Petri Nets
• A categorical semantics for hierarchical Petri nets
• Extensional Petri net

This page was built for publication: Open Petri Nets: Non-deterministic Processes and Compositionality

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