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

Decentralized Supervisor Synthesis for Petri Nets by Net-Structure Decentralization

作　　者：罗继亮[1] 王飞[1] 方慧娟[1] 缑锦[2] 

机构地区：[1]华侨大学信息科学与工程学院,福建厦门361021 [2]华侨大学计算机科学与技术学院,福建厦门361021

出　　处：《计算机学报》2014年第12期2443-2450,共8页Chinese Journal of Computers

基　　金：国家自然科学基金(60904018;61203040;61103170);福建省高等学校新世纪优秀人才支持计划(11FJRC01);福建省自然科学基金计划资助项目(2014J01241);福建省高校杰出青年科研人才培养计划(JA10004)资助~~

摘　　要：不可控子网的复杂结构是目前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.

关 键 词：PETRI网 离散事件系统 监控 禁止状态 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]