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

Forbidden State Avoidance Controller Synthesis for Petri Nets

给出了Petri网上广义互斥约束的最大允许监控器综合方法,其中该监控问题满足两个条件:正权值禁止库所的影响子网是状态机;负权值禁止库所的输入和输出变迁均只有一个输入库所.首先得到了监控器存在的充分和必要条件;其次构造了约束等价转换的方法,该方法可将存在不可控变迁的监控问题简化为相当于变迁全部可控的监控问题.最后通过一个例子说明了该方法的可行性.

A method is proposed to construct the maximally permissive supervisor to enforce the generalized mutual exclusion constraint （GMEC） on Petri nets,which has the property that 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. A necessary and sufficient condition for the existence of supervisor is obtained. A constraint equivalent transformation method is then 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 results.