For the most recent entries see the Petri Nets Newsletter.

Packages for validating discrete production systems modeled with Petri nets.

Colom, J.M.; Martínez, J.; Silva, M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography