面向资源Petri网的自动制造系统死锁预防

摘要：

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

关键词：自动制造系统、面向资源Petri网、资源故障、饱和回路、危险库所

所属期刊栏目：32

分类号：TP278;TH165;TP393.11

资助基金：青岛市社会科学规划研究项目QDSKL2201131

在线出版日期：2023-11-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：95-107