Generalized mutual exclusion constraints and monitors for colored Petri nets

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.