基于petri网的柔性制造系统死锁预防策略-机械电子工程专业论文.docxVIP

摘要一类基于Petri网来防止柔性制造系统出现死锁的方法是通过给每一个严格极 摘要 一类基于Petri网来防止柔性制造系统出现死锁的方法是通过给每一个严格极 小信标添加一个控制库所和连接弧来保证每一个严格极小信标不会被清空。通常， 随着网规模的增大，极小信标的的数目会激增．该方法的缺点是绐网系统添加了 过多的控制库所，这样便会使导致最终网系统比初始网系统复杂很多。本文致力 于在得到同样控制效果的同时减少新添加库所的研究。 本文基于已有不变式法、区域法，根据基本信标、冗余信标的概念，提出两 种死锁预防策略。在策略一中，通过将网系统中控制库所的流出弧提前来简化控 制策略。在策略二中，通过数学计算为每一个可被清空的严格极小信标添加多个 控制库所，在这几个库所的共同作用下来保证该信标不被清空，添加的控制库所 还对别的可被清空的信标起一定的控制作用，最终使受控网系统中所有严格极小 信标不被清空，同时受控网系统为普通网且不生成可达图，以达到简化控制策略 的目的。与现有方法相比，策略一添加较少的控制库所和连接弧，策略二对网系 统的行为限制尽可能的少。最后，我们将用柔性制造系统的例子来说明这两种策 略同以往方法相比的优点。 关键词：Potr i网柔性制造系统死锁预防基本倍标S3PR AbstractA Abstract A variety of important Petfi net—based methods to prevent deadlocks arising in flexible manufacturing systems(FMS)are to add some control places and related 81128 to strict minimal siphons rSMS)such that no siphon can be emptied．Since the number of siphons grows in general exponentially with respect to a Petri net size，their disadvantages lie in that they often add too many additional places to the net，thereby making the resulting net supervisor more complex than the originally bulit one．This thesis explores ways to minimize the new additions of places while achieving the same control purpose． Based on the existing policies of P-invariants and the theory of regions，two deadlock prevention policies are developed．We finally can get a deadlock—free Petri net supervisor using the first method in which the flowing arcs of the control places are brought forward．In the second method，we add places for each SMS that can be emptied to prevent it from being unmarked and the places added can also control others SMS．Finally all SMS in the net cannot be emptied．We do not have to generate reachability graph in this method．A small number of control places and related arcs are added in the first approach．The hehavior of the net is far less restricted using the second approach．Examples of flexible manufacturing systems are given to illustrate the advantages of our approaches over the existing work． Key Words：Petri nets FMS Deadlock