论文研究 部分可控Petri网分布式死锁监控器设计.pdf

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