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

• 作者: 刘久富 刘文良 刘海阳 周建勇 杨忠 王志胜
• 来源期刊: 农业机械学报
• 学科: 工学
• 关键词: Petri网 监控器 死锁避免 广义互斥约束
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 先进制造技术及基础理论
• 页码范围: 327-332
• 分类号: TP311|TP393
• 语种: 中文
• DOI: 10.6041/j.issn.1000-1298.2015.08.045

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王志胜	南京航空航天大学自动化学院	83	518	13.0	19.0
2	刘久富	南京航空航天大学自动化学院	53	207	8.0	11.0
3	杨忠	南京航空航天大学自动化学院	125	1388	18.0	32.0
4	刘文良	南京航空航天大学自动化学院	6	19	3.0	4.0
5	周建勇	南京航空航天大学自动化学院	8	22	3.0	4.0
6	刘海阳	东南大学电子信息工程学院	9	15	2.0	3.0