论文部分内容阅读
在柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种建模工具,能有效地对柔性制造系统进行建模分析,并较好地解决系统的死锁问题。其中一种重要的死锁预防的方法是通过给每一个严格极小信标添加一个控制库所和相应的连接弧,以保证每一个严格极小信标不会被清空。但是在面对大规模网系统模型时,计算严格极小信标是十分费时的,而且对所有的严格极小信标进行控制会使网结构变得异常复杂。因此,相关学者又提出了一些不同的死锁避免的策略,而其中的RUN(resource upstre