For the most recent entries see the Petri Nets Newsletter.

A Petri Net Model of Parallel Processing: Performance Analysis and Program Verification.

Danhof, Kenneth J.; Zargham, Mehdi R.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography