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

死锁是系统并发进程中特有的问题，由于发生的不确定性，死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上，提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析，在满足静态特性和行为特性下，进行可达图删减，从而实现合法标识和非法标识的分离，对分离出的标识建立混合整数线性规划模型，运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器，保证了死锁的避免和资源的最大允许利用。以多进程码垛机器人加工系统为例，建立了Petri网模型，结合零件加工过程中资源的占用和释放，对柔性制造系统进行控制器设计。设计的控制器拥有更严格的约束和更简化的模型，对死锁标识的避免是充分的，验证了该算法的有效性