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.