Rapport de Recherches MASI 90--24, pages 1-31 pp.. Paris, France: Université Pierre et Marie Curie, May 1990.
Also as: Decomposition. Rapport de Recherche CEDRIC 91--06: English version: Verification of Net Properties by Composition. Centre d'Etudes et de Recherche en Informatique du Conservatoire National des Arts et Métiers, Paris, France, 1991.
Abstract: In this paper, the authors study composition and decomposition of Petri nets throughout a common set of places or transitions. It is proved that some properties are preserved by these techniques, and the other ones can be obtained by the composition of the covering graphs. An algorithm is presented in order to compose covering graphs, less expensive than straight construction, as well as concerns time as space. The authors propose some algorithm in order to decompose a net according to the properties that must be verified.
Keywords: net composition, decomposition; covering graph; composition algorithm; preservation (of properties).