The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1986 vol.35)
pp: 940-948
K.M. Kavi , Department of Computer Science Engineering, The University of Texas
ABSTRACT
In this paper, a new model for parallel computations and parallel computer systems that is based on data flow principles is presented. Uninterpreted data flow graphs can be used to model computer systems including data driven and parallel processors. A data flow graph is defined to be a bipartite graph with actors and links as the two vertex classes. Actors can be considered similar to transitions in Petri nets, and links similar to places. The nondeterministic nature of uninterpreted data flow graphs necessitates the derivation of liveness conditions.
INDEX TERMS
Petri nets, Bipartite graphs, data flow graphs, deadlocks, liveness, parallel computations
CITATION
K.M. Kavi, B.P. Buckles, U.N. Bhat, "A Formal Definition of Data Flow Graph Models", IEEE Transactions on Computers, vol.35, no. 11, pp. 940-948, November 1986, doi:10.1109/TC.1986.1676696
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool