A Petri nets semantics for data flow networks

DOI10.1007/BF01178383MaRDI QIDQ1894678zbMATH OpenOpenAlexFDO

Authors 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

nondeterministic data flow networksoperational semantics

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)

Recommendations

• Dataflow semantics for Petri nets
• A compositional dataflow semantics for Petri nets
• scientific article; zbMATH DE number 785044
• Publication:4723281
• scientific article; zbMATH DE number 3974312

Cites work

• A fixpoint semantics for nondeterministic data flow
• 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
• Advances in Petri nets 1991. APN '91. 11th international conference on applications and theory of Petri nets, Paris, France, June 1990. Proceedings
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• The non-sequential behaviour of Petri nets

Cited in

(8)

• An operator net model for distributed systems
• Petri nets as semantic domain for diagram notations
• Analysis of static data flow structures
• scientific article; zbMATH DE number 517054 (Why is no real title available?)
• scientific article; zbMATH DE number 742725 (Why is no real title available?)
• scientific article; zbMATH DE number 1432335 (Why is no real title available?)
• Dataflow semantics for Petri nets
• scientific article; zbMATH DE number 5051646 (Why is no real title available?)

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

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