Data flow analysis of program nets

DOI10.1016/0016-0032(82)90088-6zbMath0483.68029OpenAlexW2084888424MaRDI QIDQ1163368

Kenji Onaga, Wai-Kai Chen

Publication date: 1982

Published in: Journal of the Franklin Institute (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0016-0032(82)90088-6

zbMATH Keywords

Petri netsfiring numberfiring sequences

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (1)

Execution termination and computation determinacy of data-flow program nets

Cites Work

• Marked directed graphs
• Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
• Unnamed Item

This page was built for publication: Data flow analysis of program nets