论文部分内容阅读
柔性制造系统对有限资源的竞争会产生死锁现象。Petri网作为一种分析工具,可以有效地为柔性制造系统建模、分析并解决死锁问题。基于信标理论的死锁预防策略是Petri网死锁预防策略的研究方向之一,该策略为网模型中每一个严格极小信标添加控制库所和连接弧。理论上网模型中的信标个数与网规模成指数关系,网规模越大,信标的个数就会激增,从而导致添加了过多的控制库所和连接弧。本文针对Petri网的子类S~3PR网研究了其死锁预防问题,提出一种算法,该算法不仅能够减少网系统中控制库所的个数并且能够使网系统得到更多的许