Dataflow semantics for Petri nets

DOI10.1007/3-540-55808-X_26MaRDI QIDQ5096839zbMATH OpenOpenAlexFDO

Authors Robert Gold

Publication date 18 August 2022

Published in Mathematical Foundations of Computer Science 1992 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55808-x_26

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

• A compositional dataflow semantics for Petri nets
• scientific article; zbMATH DE number 3974312
• A Petri nets semantics for data flow networks
• A compositional partial order semantics for Petri net components
• Publication:4723281

Cites work

• A compositional dataflow semantics for Petri nets
• Equational reasoning about nondeterministic processes
• scientific article; zbMATH DE number 3716795 (Why is no real title available?)
• scientific article; zbMATH DE number 3581600 (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?)
• 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

(18)

• A Petri nets semantics for data flow networks
• A compositional dataflow semantics for Petri nets
• Semantics of multiway dataflow constraint systems
• Semantic specification and verification of data flow diagrams
• scientific article; zbMATH DE number 5666832 (Why is no real title available?)
• Canonical transition set semantics for Petri nets
• 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 18633 (Why is no real title available?)
• scientific article; zbMATH DE number 1305005 (Why is no real title available?)
• scientific article; zbMATH DE number 1361137 (Why is no real title available?)
• scientific article; zbMATH DE number 1064108 (Why is no real title available?)
• scientific article; zbMATH DE number 3997145 (Why is no real title available?)
• scientific article; zbMATH DE number 1432335 (Why is no real title available?)
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• 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

This page was built for publication: Dataflow semantics for Petri nets

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