Petri net monitor design with control and observation costs

The classical partition of the event set into controllable and uncontrollable events from supervisory control theory is replaced by introducing the concept of control and observation cost of an event. This leads naturally to consider an optimal control problem for a given logical control specification. Here the case of generalized mutual exclusion constraint is considered for a Petri net plant. It has been shown previously that a constraint of this kind may be enforced via a monitor place. We propose an integer programming approach to synthesize the optimal monitor so as to minimize a given cost