计算机工程与应用2018，Vol.54Issue(8)：48-54,7.DOI:10.3778/j.issn.1002-8331.1701-0157
部分可控Petri网分布式死锁监控器设计
Design of deadlock supervisor of partially controllable Petri nets
摘要
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 moni-tor 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.关键词
部分可控Petri网/分布式监控器/死锁避免/分支定界法/线性规划Key words
partial controllable Petri nets/distributed supervisors/deadlock avoidance/branch and bound method/linear programming分类
信息技术与安全科学引用本文复制引用
李海燕,王艳萍,周建勇,刘久富..部分可控Petri网分布式死锁监控器设计[J].计算机工程与应用,2018,54(8):48-54,7.基金项目
国家自然科学基金(No.61473144). （No.61473144）
