广义互斥约束的Petri网死锁避免监控器设计

作     者：刘久富 周建勇 刘文良 刘海阳 杨忠 王志胜 Liu Jiufu;Zhou Jianyong;Liu Wenliang;Liu Haiyang;Yang Zhong;Wang Zhisheng

作者机构：南京航空航天大学自动化学院南京210016 东南大学电子信息工程学院南京211189 

出 版 物：《农业机械学报》 (Transactions of the Chinese Society for Agricultural Machinery)

年 卷 期：2015年第46卷第8期

页      面：327-332页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 0835[工学-软件工程] 081201[工学-计算机系统结构] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金资助项目(61473144) 南京航空航天大学专项资助项目(NS2010069) 

主　　题：Petri网 监控器 死锁避免 广义互斥约束 

摘      要：研究了Petri网的柔性制造加工系统中的死锁避免问题。为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优监控器的设计方法,探寻以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和死锁标识集,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器。最后,以某柔性制造系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计,设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。