|
|||||
|
|
| 具有不可控变迁的离散事件系统Petri网控制器的研究 | |
| 引用本文： | 陶泽,肖田元,刘晓霞.具有不可控变迁的离散事件系统Petri网控制器的研究[J].计算机集成制造系统,2008,14(4):773-778. |
| 作者姓名： | 陶泽 肖田元 刘晓霞 |
| 作者单位： | 1. 清华大学国家CIMS工程技术研究中心,北京,100084;沈阳理工大学机械工程学院,辽宁,沈阳,110168 2. 清华大学国家CIMS工程技术研究中心,北京,100084 3. 沈阳理工大学机械工程学院,辽宁,沈阳,110168 |
| 基金项目： | 科技部科技型中小企业技术创新项目 |
| 摘 要： | 针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题，分析了系统中存在不可控变迁时的情况，并基于局部设计和Petri网简化技术，提出了一种新的控制器设计方法。该方法首先将约束条件分为允许约束和非法约束，并通过矩阵转换方法将非法约束转换为允许约束，然后通过约束矩阵设计出相应的控制器。该方法由于只考虑与约束库所、约束变迁及不可控变迁相关联的局部关联矩阵，降低了矩阵的维数，简化了控制器的设计，避免了死锁。最后，基于两个实例验证了该方法的高效性。 |
| 关 键 词： | Petri网 控制器 结构冲突 允许约束 不可控变迁 |
| 文章编号： | 1006-5911(2008)04-0773-05 |
| 修稿时间： | 2007年6月29日 |
Controller of discrete event system Petri net with uncontrollable transition |
|
| TAO Ze,XIAO Tian-yuan,LIU Xiao-xia.Controller of discrete event system Petri net with uncontrollable transition[J].Computer Integrated Manufacturing Systems,2008,14(4):773-778. | |
| Authors: | TAO Ze XIAO Tian-yuan LIU Xiao-xia |
| Affiliation: | TAO Ze1,2,XIAO Tian-yuan1,LIU Xiao-xia2 (1.State CIMS Engineering Research Center,Tsinghua University,Beijing 100084,China,2.School of Mechanical Engineering,Shenyang Ligong University,Shenyang 110168,China) |
| Abstract: | 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... |
| Keywords: | Petri net controller structural conflict admissible constraint uncontrollab |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
