计算机技术与发展2016，Vol.26Issue(11)：5-9,5.DOI:10.3969/j.issn.1673-629X.2016.11.002
Petri网并发进程的死锁避免策略
Deadlock Avoidance Policies of Concurrent Process for Petri Net
摘要
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.关键词
Petri网/监控器/死锁避免/广义互斥约束Key words
Petri Nets/supervisors/deadlock avoidance/generalized mutual exclusion constraints分类
信息技术与安全科学引用本文复制引用
周建勇,于杰,刘海阳,孙燕,刘久富,王志胜,杨忠,刘春生..Petri网并发进程的死锁避免策略[J].计算机技术与发展,2016,26(11):5-9,5.基金项目
国家自然科学基金资助项目(60674100) （60674100）
南京航空航天大学专项资助项目(NS2010069) （NS2010069）
