A Generalized Mutual Exclusion Constraint (GMEC) is a linear constraint that limits the weighted sum of tokens in a subset of places of a place/transition net system. The corresponding controller takes the simple form of a monitor place that can be added to the net to obtain the closed-loop system. In this paper we extend this approach to the case of colored Petri nets, showing that a colored GMEC can express a set of linear constraints and can be enforced by a colored monitor place. We also develop a matrix representation of multisets that is useful for the design of the monitor place.
Generalized Mutual Exclusion Constraints and Monitors for Colored Petri Nets / Fanti, M. P.; Giua, A.; Seatzu, C.. - STAMPA. - (2003), pp. 1860-1865. (Intervento presentato al convegno IEEE International Conference on Systems, Man and Cybernetics, SMC 03 tenutosi a Washington, DC nel October 5-8, 2003) [10.1109/ICSMC.2003.1244682].
Generalized Mutual Exclusion Constraints and Monitors for Colored Petri Nets
M. P. Fanti;
2003-01-01
Abstract
A Generalized Mutual Exclusion Constraint (GMEC) is a linear constraint that limits the weighted sum of tokens in a subset of places of a place/transition net system. The corresponding controller takes the simple form of a monitor place that can be added to the net to obtain the closed-loop system. In this paper we extend this approach to the case of colored Petri nets, showing that a colored GMEC can express a set of linear constraints and can be enforced by a colored monitor place. We also develop a matrix representation of multisets that is useful for the design of the monitor place.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.