Petri网并发进程的死锁避免策略

• 作者: 于杰 刘久富 刘春生 刘海阳 周建勇 孙燕 杨忠 王志胜
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: Petri网 监控器 死锁避免 广义互斥约束
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 5-9
• 页数: 5页
• 分类号: TP311
• 字数: 5321字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2016.11.002

摘要

死锁是系统并发进程中特有的问题，由于发生的不确定性，死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上，提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析，在满足静态特性和行为特性下，进行可达图删减，从而实现合法标识和非法标识的分离，对分离出的标识建立混合整数线性规划模型，运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器，保证了死锁的避免和资源的最大允许利用。以多进程码垛机器人加工系统为例，建立了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	周建勇	南京航空航天大学自动化学院	8	22	3.0	4.0
5	刘海阳	东南大学电子工程学院	9	15	2.0	3.0
6	于杰	南京航空航天大学自动化学院	7	18	3.0	4.0
7	孙燕	南京航空航天大学自动化学院	6	10	2.0	3.0