In: Revue Technique Thomson - CSF, Vol. 19, No. 2, pages 213-247. June 1987.
Abstract: The aim of this paper is the definition of a specification environment for concurrent systems. In the first part of this paper, a concurrent processes model is introduced: a process is a sequential program; processes can communicate by exchanging messages. In the second part, the specification language (L) is defined. An L program is translated into the Petri net formalism; by the analysis of the generated net, some results for the given specification can be shown.