部分可控Petri网分布式死锁监控器设计

doi:10.3778/j.issn.1002-8331.1701-0157

计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (8): 48-54.DOI: 10.3778/j.issn.1002-8331.1701-0157

部分可控Petri网分布式死锁监控器设计

李海燕1，王艳萍1，周建勇2，刘久富2

1.郑州铁路职业技术学院，郑州 450052
2.南京航空航天大学自动化学院，南京 210016

出版日期:2018-04-15 发布日期:2018-05-02

Design of deadlock supervisor of partially controllable Petri nets

LI Haiyan1, WANG Yanping1, ZHOU Jianyong2, LIU Jiufu2

1.Zhengzhou Railway Vocational and Technical College, Zhengzhou 450052, China
2.College of Automation, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China

Online:2018-04-15 Published:2018-05-02

摘要/Abstract

摘要： 研究了部分可控Petri网柔性制造系统中的死锁避免的问题。为了保证死锁避免和资源最大允许利用，提出了基于分支定界法的Petri网死锁监控器的优化设计方法，采用多个子控制节点对全局状态建立分布式监控器，通过行为可行和分布可行对分布式监控器下合法状态空间进行检测，对最大行为可行子集建立线性规划模型求解最大分布可行合法状态集，得到分布式监控器下的最大合法状态子空间。最后，建立了柔性制造系统的部分可控Petri网模型，针对系统的死锁避免等多个行为特性要求，分别设计了集中式监控器和分布式监控器，分布式监控器能有效地避免死锁。

关键词: 部分可控Petri网, 分布式监控器, 死锁避免, 分支定界法, 线性规划

Abstract: In order to achieve deadlock avoidance and make the most use of resource in Flexible Manufacturing System（FMS）, this paper presents the branch and bound method for optimal supervisor. The method builds the distributed monitor through multi control sites, detects the global state space through the behavior-feasible and distribution-feasible, builds the linear programming model to gain maximum legal state set. Finally, the model of FMS is built with Petri net. Based on the occupation and release of resource in the machining process, the centralized supervisor and distributed supervisors are designed, respectively. The distributed supervisors can effectively avoid deadlock.

Key words: partial controllable Petri nets, distributed supervisors, deadlock avoidance, branch and bound method, linear programming

李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.

LI Haiyan1, WANG Yanping1, ZHOU Jianyong2, LIU Jiufu2. Design of deadlock supervisor of partially controllable Petri nets[J]. Computer Engineering and Applications, 2018, 54(8): 48-54.

[1]	张惠煜，陈庆新，毛宁. 随机批量物料搬运的制造系统AGV配置优化[J]. 计算机工程与应用, 2021, 57(4): 245-251.
[2]	陈刚，付江月. 军民融合背景下无人机配送中心选址问题研究[J]. 计算机工程与应用, 2019, 55(8): 226-231.
[3]	耿海军. Segment Routing体系结构中的域内路由保护方案[J]. 计算机工程与应用, 2019, 55(8): 80-85.
[4]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[5]	连玮. 采用树表示的全局最优形状匹配算法[J]. 计算机工程与应用, 2019, 55(1): 217-225.
[6]	韩晓龙，李上，杨全业. 基于遗传算法的战略供应链集成研究[J]. 计算机工程与应用, 2018, 54(2): 214-221.
[7]	郑星星，谢明鸿，张亚运. 基于空间划分和线性规划的快速碰撞检测算法[J]. 计算机工程与应用, 2017, 53(23): 236-240.
[8]	曾兆敏1，管卫利2，潘卫平3. 冲裁件条料最优四块剪切下料方案的生成算法[J]. 计算机工程与应用, 2016, 52(20): 75-79.
[9]	邵良杉1，李永利1，赵琳琳1，温廷新2，孔祥博2. 矿山产能分配的变量模糊线性规划模型[J]. 计算机工程与应用, 2016, 52(20): 227-230.
[10]	邵良杉1，赵琳琳1，张艳菊2. 基于结构元矿山产能分配模糊线性规划模型[J]. 计算机工程与应用, 2016, 52(13): 228-231.
[11]	章宏伟1，汪振利1，杜世民1，2，张川1. 基于ILP的电压岛驱动的多电压分配算法[J]. 计算机工程与应用, 2016, 52(1): 23-28.
[12]	温芝元1，曹乐平2. 最优RGB线性组合颜色模型目标检测方法[J]. 计算机工程与应用, 2015, 51(18): 218-223.
[13]	陈云志. 混沌优化的仿射尺度搜索算法研究[J]. 计算机工程与应用, 2014, 50(7): 56-61.
[14]	吴庆丰. 改进的单纯形法迭代计算方法[J]. 计算机工程与应用, 2014, 50(18): 59-62.
[15]	白治江，黄卿. 基于滚动规划的泊位和岸桥分配集成模型研究[J]. 计算机工程与应用, 2014, 50(18): 265-270.

部分可控Petri网分布式死锁监控器设计

Design of deadlock supervisor of partially controllable Petri nets

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics