Petri网的一类禁止状态问题的混合型监控器算法设计  

Combined Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

作　　者：罗继亮[1] 

机构地区：[1]华侨大学信息学院,福建泉州362021

出　　处：《计算机学报》2008年第2期291-298,共8页Chinese Journal of Computers

基　　金：国家自然科学基金(60503027);福建省自然科学基金计划资助项目(A0710010);福建省青年人才基金项目(2006F3087)资助

摘　　要：针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,并将存在不可控变迁的问题简化为相当于变迁全部可控的问题,这有效地解决了不可控变迁带来的计算复杂性问题.最后,利用一个地铁交通调度示例验证和说明该监控器设计方法.A class of forbidden state problems in which the influence uncontrollable subnets are state machines for the given general mutual exclusion constraint （GMEC） on plant Petri nets is addressed. A method of designing the observers is proposed, and an algorithm of synthesizing the optimal supervisors is obtained based on the observers. It makes it possible to transform a GMEC with multi forbidden places into that with only one forbidden place and to reduce the control problem with uncontrolled transitions into that without any uncontrolled transition. The computational complexity of the supervisor synthesis is then efficiently reduced. A metro line supervisory example illustrates the theoretic results.

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

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