Title :
Application of Petri-nets in the HERMES data flow machine: an overview
Author :
Vafaie, Haleh ; Bourbakis, Nikolaos ; Tabak, Daniel
Author_Institution :
Dept. of Electr. & Comput. Eng., George Mason Univ., Fairfax, VA, USA
Abstract :
Parallel computer architectures and the data flow computation and architecture are presented. Data-flow networks and Petri nets are used to illustrate data-flow computation. These models express the data dependency between operations of a given system. The HERMES system is presented as an illustrative data flow system. This system is chosen since it has the following significant features: (1) parallelism of operation; (2) pipeline operation for a single image along the levels of the HERMES hierarchy; (3) systolic modes of operation; and (4) multiprocessor configuration. The Petri-net model for this system is presented to illustrate the usefulness of this mathematical tool. Petri-net models are convenient for the representation of semaphores and critical sections, and are useful for locating deadlocks
Keywords :
Petri nets; computer vision; computerised picture processing; parallel architectures; parallel machines; real-time systems; HERMES; Petri-net model; critical sections; data dependency; data flow machine; deadlock location; machine vision system; multiprocessor configuration; parallel computer architecture; pipeline operation; realtime multimicroprocessor system; semaphores; systolic modes; Application software; Computational modeling; Computer architecture; Computer networks; Concurrent computing; Data flow computing; Mathematical model; Parallel processing; Petri nets; Pipelines;
Conference_Titel :
Circuits and Systems, 1989., Proceedings of the 32nd Midwest Symposium on
Conference_Location :
Champaign, IL
DOI :
10.1109/MWSCAS.1989.101880
