A compositional dataflow semantics for Petri nets

DOI10.1007/BF01186644MaRDI QIDQ1902302zbMATH OpenOpenAlexFDO

Authors Robert Gold

Publication date 20 November 1995

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01186644

zbMATH Keywords

operational semanticsplace/transition netsstep sequence semantics

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)

Review text

We give a semantics for place/transition nets, which describes the input/output behaviour using fixed point techniques. The semantics is shown to be compositional w.r.t. the net operators parallel composition, feedback and output merging. We prove consistency with the step sequence semantics and thus give an equivalent operational semantics.

Recommendations

• Dataflow semantics for Petri nets
• Publication:4723281
• A compositional partial order semantics for Petri net components
• scientific article; zbMATH DE number 4080929
• scientific article; zbMATH DE number 4143457

Cites work

• Equational reasoning about nondeterministic processes
• Failures semantics and deadlocking of modular Petri nets
• scientific article; zbMATH DE number 3716795 (Why is no real title available?)
• scientific article; zbMATH DE number 3602653 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 785044 (Why is no real title available?)
• Nondeterministic data flow programs: How to avoid the merge anomaly
• Petri nets with individual tokens
• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986

Cited in

(17)

• A Petri nets semantics for data flow networks
• Semantics of multiway dataflow constraint systems
• The ins and outs of Petri net composition
• Operational semantics for Petri net components
• scientific article; zbMATH DE number 4143457 (Why is no real title available?)
• scientific article; zbMATH DE number 4080929 (Why is no real title available?)
• scientific article; zbMATH DE number 4084982 (Why is no real title available?)
• scientific article; zbMATH DE number 4108166 (Why is no real title available?)
• scientific article; zbMATH DE number 1759408 (Why is no real title available?)
• scientific article; zbMATH DE number 3997145 (Why is no real title available?)
• scientific article; zbMATH DE number 4001493 (Why is no real title available?)
• Dataflow semantics for Petri nets
• A fully abstract semantics for termination in Petri nets
• scientific article; zbMATH DE number 5051646 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling
• A compositional partial order semantics for Petri net components
• A Compositional Petri Net Semantics for SDL

This page was built for publication: A compositional dataflow semantics for Petri nets

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