Petri网上的禁止状态监控器综合

method is proposed to construct the maximally permissive supervisor to enforce the generalized mutual exclusion constraint (GMEC) on Petri nets，in which the following conditions are met: For a forbidden place with positive weight, its influencing subnet is a state machine, and for a forbidden place with negative weight, its input and output transitions have at most one input place. Firstly, a necessary and sufficient condition for the existence of supervisor is obtained. Secondly, a constraint equivalent transform method is constructed to reduce the supervisory control problem of a net with uncontrollable transitions to what is as easy as the control problem without any uncontrollable transitions. An example is provided to illustrate the theoretic results.