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

来源：农业机械学报杂志2015年第8期北京时间：

作者：刘久富,周建勇,刘文良,刘海阳,杨忠,王志胜

单位：南京航空航天大学,南京航空航天大学,南京航空航天大学,东南大学,南京航空航天大学,南京航空航天大学,

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

关键词：Petri网;监控器;死锁避免;广义互斥约束

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