LRI Rapport de Recherche. Laboratoire de Recherche en Informatique, Universite de Paris-Sud, Centre d'Orsay, France, May 1991.
Abstract: The paper provides with two case studies using a formalism called CO-OPN (Concurrent Object-Oriented Petri Nets) which incorporates both concurrency and data structuring features. A CO-OPN specification is composed of a set of objects (algebraic abstract data types and Petri nets), and of a synchronous communication mechanism. The examples chosen are a transit node (a part of a communication system) and an algorithm for finding natural numbers. The first example is a reactive system while the second can be called functional. The adequacy of CO-OPN to describe and develop various kinds of non trivial systems is shown by these examples.
Keywords: system specification (using) CO-OPN, concurrent object-oriented net; data structuring; algebraic abstract data type; synchronous communication mechanism; transit node (of) communication system; reactive system; functional system.