基于 Petri 网结构分析的死锁避免控制研究

摘要

该文基于Ｐｅｔｒｉ网的结构特性，针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Ｐｅｔｒｉ网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识，将扩展网限制到安全标识，从而避免了全局死锁的发生。