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

摘要：

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

关键词：柔性制造系统、时延Petri网、基本信标、死锁预防

分类号：TP278(自动化技术及设备)

资助基金：国家自然科学基金资助项目60773001;高等学校博士点基金资助课题20070701013

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

页数：共12页

页码：44-55