利用基本信标的时延Petri网的死锁预防策略

• 作者: 李志武 郭金维
• 来源期刊: 新型工业化
• 学科: 工学
• 关键词: 柔性制造系统 时延Petri网 基本信标 死锁预防
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 设计与研究
• 页码范围: 44-55
• 页数: 12页
• 分类号: TP278
• 字数: 8582字
• 语种: 中文

摘要

针对一类时延Petri网的死锁预防问题，提出了一个有效的控制算法。将基于基本信标的死锁预防方法应用到时延Petri网中，不需要列举全部可达状态，通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防，而且最后的控制器为活的网系统。首先将时延Petri网拉伸，使得不改变原来系统性能的情况下，拉伸后的网SPN所有变迁均为单位时延，然后针对 SPN，采用基本信标控制方法，根据所得标识约束添加控制库所，使基本信标和从属信标均为P-不变式可控，最后还原时延Petri网，得到活的、结构简单的Petri网监督控制器。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武	西安电子科技大学机电工程学院	39	141	6.0	9.0
2	郭金维	西安电子科技大学机电工程学院	7	151	5.0	7.0