部分可控Petri网分布式死锁监控器设计

• 作者: 刘久富 周建勇 李海燕 王艳萍
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 部分可控Petri网 分布式监控器 死锁避免 分支定界法 线性规划
• 年，卷（期）: 2018,（8）
• 所属期刊栏目: 理论与研发
• 页码范围: 48-54
• 页数: 7页
• 分类号: TP311
• 字数: 6234字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1701-0157

摘要

研究了部分可控Petri网柔性制造系统中的死锁避免的问题.为了保证死锁避免和资源最大允许利用,提出了基于分支定界法的Petri网死锁监控器的优化设计方法,采用多个子控制节点对全局状态建立分布式监控器,通过行为可行和分布可行对分布式监控器下合法状态空间进行检测,对最大行为可行子集建立线性规划模型求解最大分布可行合法状态集,得到分布式监控器下的最大合法状态子空间.最后,建立了柔性制造系统的部分可控Petri网模型,针对系统的死锁避免等多个行为特性要求,分别设计了集中式监控器和分布式监控器,分布式监控器能有效地避免死锁.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘久富	南京航空航天大学自动化学院	53	207	8.0	11.0
2	王艳萍		24	85	6.0	8.0
3	周建勇	南京航空航天大学自动化学院	8	22	3.0	4.0
4	李海燕		22	100	6.0	9.0