一类Petri网的死锁预防方法

摘要：

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

关键词：柔性制造系统、死锁预防、Petri网、信标、S4R

分类号：TP2;O15

资助基金：教育部高等学校博士点基金20070701013

在线出版日期：2014-01-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：10-15