一类Petri网的死锁预防方法

• 作者: 李志武 钟春富
• 来源期刊: 新型工业化
• 关键词: 柔性制造系统 死锁预防 Petri网 信标 S4R
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 设计与研究
• 页码范围: 10-15
• 页数: 6页
• 字数: 4305字
• 语种: 中文

摘要

信标在Petri网的死锁分析和控制中占重要地位。其计算通常要耗费大量时间，有时甚至不能求解所有信标。基于MIP，利用迭代法针对Petri网的一个子类(S4R网)进行死锁预防。每次迭代求出一个非最大标记的信标，通过 P-不变式控制策略添加控制库所对其进行控制。直到没有非最大标记的信标，使得所有的信标得到控制，进而得到活性Petri网控制器。避免了求解所有的严格极小信标，得到结构简单且许可行为更多的活性控制器。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武	西安电子科技大学机电工程学院	39	141	6.0	9.0
2	钟春富	西安电子科技大学机电工程学院	3	5	1.0	2.0