Authors: Juan Ignacio Latorre-Biel, Mercedes Pérez-Parte M, Emilio Jiménez-Macías
Colored Petri nets is a well-known formalism for constructing models of discrete event systems with subsystems presenting structural similarities. The folding of these common structures, described by means of ordinary or generalized Petri nets leads to compact and easy-to-understand models. The disjunctive colored Petri nets, can be considered as an extension of the colored Petri nets, making this formalism able to cope with the modeling of a discrete event system with alternative structural configurations. This modeling may be very useful for the task of designing a discrete event system, where some freedom degrees in the structure of the system in process of being designed lead to a set of alternative configurations for the system. This paper presents the disjuntive colored Petri nets, provides with some of their characteristics, as well as an algorithm for constructing models, and explains case study for illustrating its applicability.