Data flow analysis of program nets

DOI10.1016/0016-0032(82)90088-6MaRDI QIDQ1163368zbMATH OpenOpenAlexFDO

Authors 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

firing numberfiring sequencesPetri nets

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3493844 (Why is no real title available?)
• Marked directed graphs
• Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing

Cited in

(1)

• Execution termination and computation determinacy of data-flow program nets

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

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