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

• 作者: 刘晓霞 肖田元 陶泽
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: Petri网 控制器 结构冲突 允许约束 不可控变迁
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 论文
• 页码范围: 773-777,784
• 页数: 6页
• 分类号: TP301
• 字数: 4115字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晓霞	沈阳理工大学机械工程学院	8	33	3.0	5.0