论文部分内容阅读
在柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种工具，它很方便的为柔性制造系统建模，分析并解决了这一死锁问题。基于Petri网来防止柔性制造系统出现死锁的方法是通过给每一个严格极小信标添加一个控制库所和连接弧来保证每一个严格极小信标不会被清空。通常，随着网规模的增大，极小信标的的数目会激增，该方法的缺点是给网系统添加了过多的控制库所，这样便会使最终网系统比初始网系统复杂很多。本文致力于在得到同样控制效果的同时减少新添加库所的研究。 首先我们提出了基