Dissertation, Paris (France), 170 pp. pages, 1990. In French.
Abstract: The author develops formal methods for deducing global properties of a parallel system starting from the properties of its components. These methodes, developed around Petri nets, exploit the potential modularity of the locality of places and transitions. The author studies property preservation under net composition, and, the contribution of the structure of nets for deducing global properties from local ones. Petri nets are composed via a communication medium which manages all the decisions concerning the communication protocol. Then global liveness is a consequence of the liveness of the components. The results are extended to fifo nets.
Keywords: property preservation (by) net composition; FIFO net; communication protocol; modularity; global, local property; liveness preservation.