In: 3: J. Comb. Inf. Syst. Sci., Vol. 14, No. 2, pages 73-94. 1989.
Abstract: This paper introduces a particular model for parallel processing. The model is formulated as a kind of Petri net in which the processes involved in a parallel computation are represented by specific tokens. The implementation of the model as a parallel computer program is described. This implementation serves as a prototype for developing parallel programs for typical parallel processing problems. The resulting programs are then directly executable on a shared-memory parallel machine.
Keywords: parallel processing; performance analysis; program verification; parallel computer program.