柔性制造系统无锁petri网控制器的分解研究.pdfVIP

摘要 本文致力于柔性制造系统(FMs)中死锁预防问题的研究。传统的死锁预防 策略要对每个可被清空的严格极小信(SMS)标添加一个控制库所从而使Petri网 模型受控。sMs的数量决定了该控制策略会导致一个结构异常复杂的死锁预防控 制器。基本信标概念的提出极大地避免了这种情况的发生。本文针对Petri网的一 个子类一Es3PR网提出了两种基于基本信标的死锁预防策略。在第一种策略中， 对基本信标添加的控制库所保证其被P不变式控制且不会产生新的可被清空的信 标。通过调整某些基本信标的控制深度变量可使整个网系统最大可控，接着对控 制器的冗余控制库所进行检测，移除某些冗余控制库所，从而进一步简化控制器、 减少对网系统的限制。 为了能控制网系统，通常需要穷举所有的sMS。而sMs数量随着网络规模成 指数增长，所以要求出所有SMS是非常耗时的，有时甚至是可望而不可及的。第 二种控制策略能同时避免穷举SMS和控制器中从属信标的产生，同时将受控广义 网转换成普通网。进一步降低控制器的结构复杂性，为继续研究该受控网提供方 便，有很好的实际应用价值。 通过同一个FMs制造系统实例的检验，这两种死锁预防策略都取得了良好的 控制效果，显示出了各自的优越性。 关键词：柔性制造系统Petri网Es