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)

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

• 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?)
• Equational reasoning about nondeterministic processes
• Failures semantics and deadlocking of modular Petri nets
• 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)

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

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)