Supervisor synthesis for enforcing GMECs on a controlled Petri net

This paper addresses the control problems to enforce general mutual exclusion constraints (GMECs) on a controlled Petri nets based on the constraint transformation. The basic GMEC is introduced for a Petri net, in which a marking is admissible if it does not violate this constraint. To enforce basic GMECs on a Petri net is rather simple, for the uncontrollable transitions need not be considered. Therefore, the key for the solution to the control problems is to compute the equivalent basic GMECs for the given GMECs. Then the method, to transform equivalently the given GMECs into the basic GMECs, is obtained for the class of control problems where the influence uncontrollable subnets are forward synchronization and forward conflict free (FSFCF) nets. An FSFCF net is an ordinary Petri net in which each node has at most one input