A compositional partial order semantics for Petri net components

DOI10.1007/3-540-63139-9_39MaRDI QIDQ6487378zbMATH OpenFDO

Authors Ekkart Kindler

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-63139-9_39

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4143457
• Operational semantics for Petri net components
• A compositional dataflow semantics for Petri nets
• On the composition of time Petri nets
• scientific article; zbMATH DE number 4080929

Cites work

• Algebraic characterization of petri net pomset semantics
• Computer science today. Recent trends and developments
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 4092786 (Why is no real title available?)
• scientific article; zbMATH DE number 4108166 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Mutex needs fairness
• Petri net based verification of distributed algorithms: An example
• The non-sequential behaviour of Petri nets

Cited in

(17)

• A compositional dataflow semantics for Petri nets
• ITL semantics of composite Petri nets
• Operational semantics for Petri net components
• Composition of software artifacts modelled using colored Petri nets
• Petri net reactive modules
• scientific article; zbMATH DE number 1696463 (Why is no real title available?)
• scientific article; zbMATH DE number 1799524 (Why is no real title available?)
• scientific article; zbMATH DE number 4143457 (Why is no real title available?)
• Open Petri Nets: Non-deterministic Processes and Compositionality
• scientific article; zbMATH DE number 1836392 (Why is no real title available?)
• Dataflow semantics for Petri nets
• A fully abstract semantics for termination in Petri nets
• Modal Open Petri Nets
• A Compositional Petri Net Semantics for SDL
• Extensional Petri net
• Compositional separation of control flow and data flow
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

This page was built for publication: A compositional partial order semantics for Petri net components

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