论文部分内容阅读
柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种建模分析工具,它能很方便地为柔性制造系统建模并分析和解决这一死锁问题。目前死锁预防方法大都是在目标Petri网模型中增加控制器,它由新的控制库所和相关弧构成。Ezpeleta死锁预防算法是通过给造成死锁的每一个严格极小信标添加控制库所和连接弧来保证没有信标被清空。但随着网规模的增大,极小信标的数目会以指数级的规模激增,其缺点是给网系统添加了过多的控制库所和连接弧,这样会使最终网系统比初始网系统复杂很多。基于基本信标理论的死锁预防