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

摘要：

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

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

所属期刊栏目：46

分类号：TP311;TP393(计算技术、计算机技术)

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

在线出版日期：2015-11-02（万方平台首次上网日期，不代表论文的发表时间）

页码：327-332