具有不可控变迁的离散事件系统Petri网控制器的研究  

Controller of discrete event system Petri net with uncontrollable transition

作　　者：陶泽[1] 肖田元[1] 刘晓霞[2] 

机构地区：[1]清华大学国家CIMS工程技术研究中心,北京100084 [2]沈阳理工大学机械工程学院,辽宁沈阳110168

出　　处：《计算机集成制造系统》2008年第4期773-777,784,共6页Computer Integrated Manufacturing Systems

基　　金：科技部中小企业创新基金资助项目(05C2621400246)~~

摘　　要：针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题,分析了系统中存在不可控变迁时的情况,并基于局部设计和Petri网简化技术,提出了一种新的控制器设计方法。该方法首先将约束条件分为允许约束和非法约束,并通过矩阵转换方法将非法约束转换为允许约束,然后通过约束矩阵设计出相应的控制器。该方法由于只考虑与约束库所、约束变迁及不可控变迁相关联的局部关联矩阵,降低了矩阵的维数,简化了控制器的设计,避免了死锁。最后,基于两个实例验证了该方法的高效性。A detailed analysis of supervisory control with place and transition hybrid constraints for Petri net-based Discrete Event System （DES） with uncontrollable transitions was conducted. A new method for constructing a Petri net feedback controller based on part design and Petri net reduction technique was presented. Firstly, constraints were classified into admissible and inadmissible constrains. Then, matrix-transformation method was proposed to transform the inadmissible constraint into admissible one. And then, the controller was constructed through the constraints matrix. Because the method only considered local incident matrix related to the place and transition constraints and uncontrollable transitions, it could reduce the dimensions of matrix, ease the design of controller and avoid deadlock. This method was proved to be effective by two examples.

关 键 词：PETRI网 控制器 结构冲突 允许约束 不可控变迁 

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