论文部分内容阅读
一类基于 Petri 网来防止柔性制造系统出现死锁的方法是通过给每一个严格极小信标添加一个控制库所和连接弧来保证每一个严格极小信标不会被清空。通常,随着网规模的增大,极小信标的的数目会激增,该方法的缺点是给网系统添加了过多的控制库所,这样便会使导致最终网系统比初始网系统复杂很多。本文致力于在得到同样控制效果的同时减少新添加库所的研究。本文基于已有不变式法、区域法,根据基本信标、冗余信标的概念,提出两种死锁预防策略。在策略一中,通过将网系统中控制库所的流出弧提前来简化控制策略。在策略二中,通过数学计算为每一个可被清空的严格极小信标添加多个控制库所,在这几个库所的共同作用下来保证该信标不被清空,添加的控制库所还对别的可被清空的信标起一定的控制作用,最终使受控网系统中所有严格极小信标不被清空,同时受控网系统为普通网且不生成可达图,以达到简化控制策略的目的。与现有方法相比,策略一添加较少的控制库所和连接弧,策略二对网系统的行为限制尽可能的少。最后,我们将用柔性制造系统的例子来说明这两种策略同以往方法相比的优点。