基于网结构分解的Petri网分散监控器设计

Decentralized Supervisor Synthesis for Petri Nets by Net-Structure Decentralization

不可控子网的复杂结构是目前Petri网监控难题的根源,该文提出了控制规范等价的网结构分解方法,将对象网分解为多个结构简单的新网,并且将控制规范等价转换到各新网上,从而将复杂的全局控制问题分解简化为多个简单的局部控制问题,进而采用库所不变量方法设计各局部最优Petri网监控器,实现复杂问题分散控制,有效地降低了Petri网控制问题的计算复杂性.最后以一个柔性制造系统为例验证和说明了上述方法.

The complicated structure of the uncontrollable subnet is the reason that Petri net con- trol problems are very difficult. Therefore, a method is proposed to decompose Petri nets while preserving the equivalence of control specifications. In details, the plant net is decomposed into new nets with simpler structures. Then, the control specification is equivalently transformed on these new nets. As a result, the original global control problem is equivalently transformed into a set of simpler local ones. Then, the optimal local supervisors are designed by the place-invariant method. The method can be used to greatly reduce the computational complexity of the control problem. A flexible-manufacturing system illustrates the theoretic results.