论文部分内容阅读
柔性制造系统中,生产进程之间互相等待对方占有的资源会导致死锁,使系统性能恶化,给生产带来损失。S4PR网是一类具有良好建模能力的Petri网子类,被广泛运用于柔性制造系统建模、性能分析及死锁控制策略的研究中。基于S4PR网的柔性制造系统死锁预防策略研究成为近年来理论界关注的热点。经典的死锁预防方法需要对Petri网模型中的每一个严格极小信标添加一个控制库所和相关连接弧来实现对死锁的控制。该方法首先需要求解严格极小信标,而Petri网中信标数量的增长在理论上与网模型规模的增大呈指数关系,由此导致采用经