一种时延Petri网的死锁预防方法

• 作者: 李志武 郭金维
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 柔性制造系统 时延Petri网 死锁预防
• 年，卷（期）: 2009,（5）
• 页码范围: 902-908
• 页数: 7页
• 分类号: TP278
• 字数: 6294字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2009.05.026

摘要

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活.首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.

作者信息

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