Report LRI--643, pages 1-12 pp.. Laboratoire de Recherche en Informatique, Universite de Paris-Sud, Centre d'Orsay, France, 1991.
Abstract: Intending to describe the synchronization, the authors model the interprocess communication of an Occam2-like language with a Petri net. The construction is explained by some rules which can become the kernel of an automatic system of Petri net translation. The analysis of the associated Petri net allows to find the deadlocks caused by the communications of the Occam2 program. But some other information can be extracted from the Petri net, such as the uselessness of a communication or the independence of some processes. These features help towards the improvement of the Occam2 programming and the placement on a network.
Keywords: analysis (of the) communication structure (of) occam-2 program(s); synchronization; communication deadlock (in occam-2).