论文部分内容阅读
一类基于Petri网来防止柔性制造系统出现死锁的方法是通过给每一个严格极小信标添加一个控制库所和连接弧来保证每一个严格极小信标不会被清空。通常，随着网规模的增大，极小信标的数目会激增，该方法的缺点是给网系统添加了过多的控制库所，这样便会使导致最终网系统比初始网系统复杂很多。根据我们以前的工作，将Petri网中可被清空的信标分为基本信标和从属信标。给每个基本信标添加一个控制库所，通过调节信标的控制深度变量，就可控制所有的从属信标。本文首先将二步控制法和基本信标的概念结合到一起，提出了一种新的死锁控制策