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

• 作者: 吴文慧 王寿光
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Petri网 死锁 补库所控制器
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 计算机理论
• 页码范围: 2257-2265
• 页数: 9页
• 分类号: TP301
• 字数: 6548字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.02257

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王寿光	浙江工商大学信息与电子工程学院	8	23	3.0	4.0
2	吴文慧	浙江工商大学信息与电子工程学院	7	20	2.0	4.0