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

来源：计算机工程与应用杂志2018年第8期北京时间：

作者：李海燕1，王艳萍1，周建勇2，刘久富2

单位：1.郑州铁路职业技术学院，郑州 450052；2.南京航空航天大学 自动化学院，南京 210016

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

关键词：部分可控Petri网,分布式监控器,死锁避免,分支定界法,线性规划