In: Proceedings of the IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems, Villeneuve d'Ascq, France, pages 457-462. 1986.
Also in: Borne, P.; Tzafestas, S.G.: Applied Modelling and Simulation of Technological Systems, pages 529-536. Elsevier Science Publishers B.V. (North-Holland), 1987.
Abstract: Petri nets are used to model discrete concurrent systems One interesting field of applications is the design of discrete production systems. This paper studies the analysis of models of these systems described with two types of nets: Generalized Petri Nets (GPN) and Colored Petri Nets (CPN). Two projects undertaken in this department - packages for validating GPNs and CPNs - are briefly considered. Finally, a series of new rulex concerning analysis by reduction of CPNs are introduced.