Monitor-Based Control of A Class of Controlled Petri Nets with Generalized Mutual Exclusion Constraints

This paper discusses a class of forbidden state avoidance problemsgeneralized mutual exclusion problems for controlled Petri nets. Some conditions for enforcing a set of generalized mutual excluconstraints on a controlled Peteri etri net by monitors are given,and for a class of controlled Petri nets whose uncontrolled subnet is a state machine,it is proved that the maximally permissive control of the controlled Petri nets for any given set of generalized mutual exclusion constraints can be enforced by monitors and a synthesis algorithm for the monitors is proposed.