A Petri nets semantics for data flow networks

DOI10.1007/BF01178383zbMath0827.68079OpenAlexW4254901145MaRDI QIDQ1894678

Nicoletta De Francesco, Gigliola Vaglini, Cinzia Bernardeschi

Publication date: 13 December 1995

Published in: Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

operational semanticsnondeterministic data flow networks

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Advances in Petri nets 1991. APN '91. 11th international conference on applications and theory of Petri nets, Paris, France, June 1990. Proceedings
• Advances in Petri nets 1990. APN 90, 10th international conference on applications and theory of Petri nets, held in Bonn, Germany in June 1989. Proceedings
• The non-sequential behaviour of Petri nets
• A fixpoint semantics for nondeterministic data flow

This page was built for publication: A Petri nets semantics for data flow networks