基于补库所的死锁预防策略

摘要：

文中基于补库所理论提出了活性控制器设计方法.首先,利用容量函数K将原Petri网N转变为有限容量网N,再通过逐一增加K值得到具有最大可达集的容量函数Kmax,然后根据Kmax添加一组补库所,最终得到活性受控网N’.文中首先以S3PR网模型为例,与几种经典的死锁预防控制策略进行比较.实例数据表明,基于补库所理论设计的控制器不仅结构简单,避免了信标计算,还具有较好的行为许可性.最后,以S3 PGR2网模型为例,说明基于补库所的死锁预防策略同样可以应用于一般Petri网.

关键词：Petri网、死锁、补库所控制器

所属期刊栏目：36

分类号：TP301(计算技术、计算机技术)

资助基金：This work is in part supported by National Natural Science Foundation of China under Grant No.61100056,Zhejiang Provincial Natural Science Foundation of China under Grant No.LY12F03020,Zhejiang Science & Technology Project under Grant 2013C31111,and Zhejiang NNST Key Laboratory under Grant 2013E100161100056;浙江省自然科学基金LY12F03020;浙江省科技计划项目2013C31111;浙江省新型网络标准与应用技术重点实验室2013E10012

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

页数：共9页

页码：2257-2265