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

Forbidden State Avoidance Controller Synthesis for Petri Nets

作　　者：罗继亮[1] 袁剑蓉[1] 吴维敏[1] 苏宏业[1] 王肖[1] 褚健[1] 

机构地区：[1]浙江大学工业控制技术国家重点实验室

出　　处：《控制与决策》2006年第6期671-674,696,共5页Control and Decision

基　　金：高等学校博士学科点专项科研基金项目(20020335103);浙江省自然科学基金项目(Y104081);国家创新研究群体科学基金(60421002)

摘　　要：给出了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.

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

分 类 号：TP271.8[自动化与计算机技术—检测技术与自动化装置] TP18[自动化与计算机技术—控制科学与工程]