For the most recent entries see the Petri Nets Newsletter.

Specification and Implementation of Parallel Algorithms.

Buchs, D.; Racloz, P.; Flumet, J.

In: Proceedings of the Second International Workshop on Software Engineering and its Applications, 1989, Toulouse, France, pages 625-640. Nanterre, France: EC2, 1989. In French.

Abstract: The authors describe a general specification formalism: Petri nets with objects which associate Petri nets and algebraic abstract data types. In order to illustrate this formalism, the authors use the problem of prime number calculation based on the algorithm of Erathostene. Finally, they show the performances obtained for an implementation of this specification in Occam-2 on a network of transputers.

Keywords: parallel algorithm; net (with) objects; algebraic abstract data type; prime number calculation; transputer network.

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

Back to the Petri Nets Bibliography