针对有限禁止状态的Petri网控制器综合  

Synthesis of Petri net controller based on finite forbidden states

作　　者：董利达[1] 兰守珍[1] 陈桂忠[1] 

机构地区：[1]浙江大学电子电路与信息系统研究所,浙江杭州310027

出　　处：《浙江大学学报（工学版）》2008年第11期1900-1905,共6页Journal of Zhejiang University：Engineering Science

基　　金：国家自然科学基金资助项目(60503027);国家"863"高技术研究发展计划资助项目(2006AA040309);浙江省科技厅资助项目(2007C1046)

摘　　要：针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程的解向量之间存在惟一的对应关系,从而只须通过判断惟一可达解向量就能够得到相应的控制器.通过一个具体的例子验证了该方法在设计最大允许控制器中的应用,例证表明,针对有限禁止状态问题,该方法是可行的,并且简单、有效.A controller synthesis method was proposed for discrete event systems modeled by Petri net on finite forbidden state problem. The method can be used to design maximally permissive controllers when maximal uncontrolled subnets have some normalized cascade structures. If the forbidden states are finite, the problem can be transformed into an only reachability problem, that is to say, a reachable marking can be decided by solving the state equation and the solution is unique. Therefore, the maximally permissive controller can be obtained by solving the state equation. An example was illustrated to verify the method for designing the maximally permissive controller. The results showed that the method is feasible, simple and efficient to deal with the forbidden state problem.

关 键 词：离散事件系统 禁止状态问题 PETRI网 控制器综合 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]