[1]周建勇[],于杰[],刘海阳[],等. Petri网并发进程的死锁避免策略[J].计算机技术与发展,2016,26(11):5-9.
　ZHOU Jian-yong[],YU Jie[],LIU Hai-yang[],et al. Deadlock Avoidance Policies of Concurrent Process for Petri Net[J].,2016,26(11):5-9.
点击复制

 Petri网并发进程的死锁避免策略()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
26
期数:
2016年11期
页码:
5-9
栏目:
智能、算法、系统工程
出版日期:
2016-11-10

文章信息/Info

Title:
 Deadlock Avoidance Policies of Concurrent Process for Petri Net
文章编号:
1673-629X（2016)11-0005-05
作者:
 周建勇[1]; 于杰[1]; 刘海阳[2]; 孙燕[1]; 刘久富[1]; 王志胜[1]; 杨忠[1] ; 刘春生[1]
 1.南京航空航天大学 自动化学院；2.东南大学 电子工程学院
Author(s):
 ZHOU Jian-yong[1] ; YU Jie[1];  LIU Hai-yang[2];  SUN Yan[1];  LIU Jiu-fu[1] ; WANG Zhi-sheng[1] ; YANG Zhong[1] ; LIU Chun-sheng[1]
关键词:
 ; Petri网; 监控器; 死锁避免; 广义互斥约束
Keywords:
 ; Petri Nets; supervisors; deadlock avoidance; generalized mutual exclusion constraints
分类号:
TP311
文献标志码:
A
摘要:
 死锁是系统并发进程中特有的问题，由于发生的不确定性，死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上，提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析，在满足静态特性和行为特性下，进行可达图删减，从而实现合法标识和非法标识的分离，对分离出的标识建立混合整数线性规划模型，运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器，保证了死锁的避免和资源的最大允许利用。以多进程码垛机器人加工系统为例，建立了Petri网模型，结合零件加工过程中资源的占用和释放，对柔性制造系统进行控制器设计。设计的控制器拥有更严格的约束和更简化的模型，对死锁标识的避免是充分的，验证了该算法的有效性。
Abstract:
 Deadlock is a unique error in concurrent process. Due to the uncertainty of the occurrence,it is difficult to detect and eliminate the deadlock. Building on recent results regarding optimal supervisor design with branch &bound methods,an integrated modeling ap-proach is proposed that can be used to derive a minimal supervisor guaranteeing the attainment of an arbitrary set of static and behavioral specifications in a maximally permissive way. This method prunes the reachability graph by the analysis of graph,to ensure the separation of legal markings and illegal markings,and builds the mixed integer linear programming to obtain generalized mutual exclusion constraints as the optimal supervisor. The system model of FMS is built with Petri Net. Based on the occupation and release of resource in the machi-ning process,research is made on application in robot processing system. The optimal supervisors generating from the algorithm show stricter constrains and more simplified model,achieving deadlock avoidance policy,which have proved the effectiveness of this method.

相似文献/References:

[1]翁辉 徐海珠 陈晓山.基于Petri网的装备战场抢修系统建模研究[J].计算机技术与发展,2010,(03):176.
　WENG Hui,XU Hai-zhu,CHEN Xiao-shan.Modeling Research on Equipment Battlefield Repair System Based on Petri Net[J].,2010,(11):176.
[2]李龙澍 胡正梁.基于Petri网的UML形式化建模应用分析[J].计算机技术与发展,2010,(04):76.
　LI Long-shu,HU Zheng-liang.Application Analysis and Formal Modeling of UML Based on Petri Net[J].,2010,(11):76.
[3]韩咚 田银花.基于赋时颜色Petri网的NSSK协议建模[J].计算机技术与发展,2010,(06):156.
　HAN Dong,TIAN Yin-hua.The Modeling of NSSK Protocols Based on Timed Colored Petri Nets[J].,2010,(11):156.
[4]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(11):51.
[5]胡文江 高永兵 樊瑞民 张健.基于Web服务的工作流执行优化方法探讨[J].计算机技术与发展,2009,(06):156.
　HU Wen-jiang,GAO Yong-bing,FAN Rui-min,et al.Research of Workflow Optimal Strategy Based on Web Services[J].,2009,(11):156.
[6]毛伟伟 于素萍.基于Petri网的Web服务动态组合[J].计算机技术与发展,2009,(11):61.
　MAO Wei-wei,YU Su-ping.Dynamic Web Service Composition Based on Petri Nets[J].,2009,(11):61.
[7]封会娟 于永利 张柳 刘文武.机动防空任务聚合级装备作战单元维修性仿真[J].计算机技术与发展,2009,(11):230.
　FENG Hui-juan,YU Yong-li,ZHANG Liu,et al.Simulation Model of Aggregated Equipment Combat Units＇ Mission Maintainability Based on Mobile Aerial Defense Mission[J].,2009,(11):230.
[8]陈伟 文东戈 王昊.层次颜色工作流Petri网建模与应用[J].计算机技术与发展,2009,(01):49.
　CHEN Wei,WEN Dong-ge,WANG Hao.Modeling and Application of Hierarchical Colored Workflow Net[J].,2009,(11):49.
[9]郭娟 许志才 方贤文.基于Petri网的Java多线程程序分析[J].计算机技术与发展,2009,(04):51.
　GUO Juan,XU Zhi-cai,FANG Xian-wen.Multi - Thread Analysis about Java Program Based on Petri Net[J].,2009,(11):51.
[10]秦凯 姜浩.一种基于Petri网的工作流模型分解方法[J].计算机技术与发展,2008,(01):97.
　QIN Kai,JIANG Hao.An Approach of Decomposition of Workflow Models Based on Petri Net[J].,2008,(11):97.
[11]贺兴亚[],王海艳[]. 基于Petri网的组件服务发现方法[J].计算机技术与发展,2014,24(07):136.
　HE Xing-ya[],WANG Hai-yan[]. A Component Services Discovery Method Based on Petri-net[J].,2014,24(11):136.
[12]赵艳妮[],郭华磊[],尚岚[],等. 一种柔性软件框架的设计与实现[J].计算机技术与发展,2015,25(11):93.
　ZHAO Yan-ni[],GUO Hua-lei[],SHANG Lan[],et al. Design and Implementation of a Flexible Software Framework[J].,2015,25(11):93.

更新日期/Last Update: 2016-12-09