In: Briggs, F.A.: Proceedings of the 1988 International Conference on Parallel Processing, Vol. 1, pages 69-73. Pennsylvania State Press, University Park, PA, USA, 1988.
Abstract: A parallel computation model based on a data/control-flow notation is described. The data path is formulated as a directed graph. The control structure is modeled as a Petri net. This model is used for specification and synthesis of digital hardware. The semantics of the proposed model is defined in terms of its interactions with the environment.