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

摘要：

针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题,分析了系统中存在不可控变迁时的情况,并基于局部设计和Petri网简化技术,提出了一种新的控制器设计方法.该方法首先将约束条件分为允许约束和非法约束,并通过矩阵转换方法将非法约束转换为允许约束,然后通过约束矩阵设计出相应的控制器.该方法由于只考虑与约束库所、约束变迁及不可控变迁相关联的局部关联矩阵,降低了矩阵的维数,简化了控制器的设计,避免了死锁.最后,基于两个实例验证了该方法的高效性.

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

所属期刊栏目：14

分类号：TP301(计算技术、计算机技术)

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

在线出版日期：2008-07-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：773-777,784