论文部分内容阅读
本文主要研究柔性制造系统中的死锁问题,利用Petri网对其建模,对一种网的子类-S3PR网,提出了几种新的死锁预防策略。网模型中的信标可分为基本信标和从属信标,对每个基本信标添加控制库所使其不变式可控,并利用混合整数规划方法来保证不会产生新的可被清空的信标。同样,也可以利用混合整数规划方法找出一个最大无标识信标,并一次又一次的从中导出极小信标,对每个极小信标,添加一个控制库所,使其不变式可控,并用混合整数规划方法检验保证不会产生由添加的控制库所引起的新的可被清空的信标。这两种新的死锁预防策略会得到更