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...Show MoreMetadata
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.
Date of Conference: 08-08 October 2003
Date Added to IEEE Xplore: 17 November 2003
Print ISBN:0-7803-7952-7
Print ISSN: 1062-922X