摘要:在自动制造系统(automated manufacturing systems, AMSs)中, 死锁是一个急需解决的问题, 其主要由资源的循环等待造成. 为了解决该问题, 本文首先基于面向资源Petri网(resource-oriented Petri nets, ROPNs)的特征, 建立特殊资源标记图(special resource marked graphs, SRMGs). 其次, 在SRMGs中建立死锁与饱和回路之间的关系. 最后通过为一些特殊回路添加控制器, 阻止系统出现不安全标记. 考虑到资源故障问题, 为危险库所添加资源缓冲子网, 保证需要故障资源的零件不会阻塞其他零件的持续生产. 相比现有的控制器, 本文的监督控制器具有控制开关, 其通过实时改变控制库所的容量可以允许更多安全标记发生.