基于Petri网的柔性制造系统一种预防死锁方法

• 作者: 李志武 王安荣
• 来源期刊: 自动化学报
• 学科: 工学
• 关键词: Petri网 预防死锁 基本信标 柔性制造系统
• 年，卷（期）: 2003,（5）
• 所属期刊栏目: 论文与报告
• 页码范围: 733-740
• 页数: 8页
• 分类号: TP278
• 字数: 4221字
• 语种: 中文

摘要

基于Petri网的结构特性分析,研究了FMS(柔性制造系统)一种预防死锁方法.提出了Petri网的一种特殊拓扑结构--基本信标的概念.在Petri网中基本信标的集合是SMS(严格极小信标)集合的一个真子集.尤其在大型Petri网系统中,基本信标的集合比SMS的集合要小得多.对于Petri网的一个子类S3PR,只对每一个基本信标添加一个库所使其不被清空,就可实现预防死锁,也就是说无须控制S3PR的所有SMS而达到无信标被清空的目的.此外,对于S3PR,还提出了一种求取SMS和基本信标的方法.相对于现在普遍采用的控制所有SMS来预防死锁的策略,其具三方面优势.1)只需控制少量的SMS即所谓的基本信标.相应地,添加少量的控制库所和连接弧,就可得到无死锁或活的Petri网.2)不需要先行计算出极小信标的集合.3)明显地,这种方法更适合大型Petri网系统.我们通过穿插在文中的一个例子来说明这些方法.

作者信息

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