A compositional dataflow semantics for Petri nets
From MaRDI portal
Publication:1902302
DOI10.1007/BF01186644zbMATH Open0831.68070OpenAlexW1968942299MaRDI QIDQ1902302FDOQ1902302
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
Recommendations
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Petri nets with individual tokens
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Failures semantics and deadlocking of modular Petri nets
- Nondeterministic data flow programs: How to avoid the merge anomaly
- Equational reasoning about nondeterministic processes
Cited In (17)
- A compositional partial order semantics for Petri net components
- Title not available (Why is that?)
- Dataflow semantics for Petri nets
- A fully abstract semantics for termination in Petri nets
- Formal Methods in Software and Systems Modeling
- Title not available (Why is that?)
- A Petri nets semantics for data flow networks
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Compositional Petri Net Semantics for SDL
- Operational semantics for Petri net components
- Title not available (Why is that?)
- Semantics of multiway dataflow constraint systems
- The ins and outs of Petri net composition
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
