柔性制造系统工作时,多个工序使用同一种资源。一旦资源分配不当,就会发生死锁。死锁会导致系统无法正常运行,解决制造系统的死锁问题有重大工程意义。Petri网是一种有效的建模工具,基于Petri网理论,发展了很多死锁预防策略。现有基于区域理论的死锁预防策略,一般通过禁止首遇坏标识为系统设计最大许可活性控制器。若设计控制器时只考虑首遇坏标识,则合法标识可能被控制器禁止。因此为首遇坏标识设计控制器时,还需要考虑可达条件以确保合法标识不被禁止。由于网系统内合法标识的数量通常比较大,通过整数规划问题为首遇坏标识设计控制库所时,约束量比较多。研究发现,控制部分首遇坏标识时不需要考虑合法标识。通过将首遇坏标识分类,简化计算,最终得到S~3PR(System of Simple Sequential Processes with Resources)网的最大许可活性控制器,若该控制器存在。使用向量覆盖法,减少需要禁止的首遇坏标识数量,主要完成的工作内容如下:1.提出上界标识定义,若首遇坏标识中被标记的操作库所都达到其上界,称该首遇坏标识为上界标识。根据上界标识,将首遇坏标识分类。若首遇坏标识是上界标识,使用禁止条件设计控制库所禁止该首遇坏标识时不禁止合法标识,因此可以简化设计控制库所的计算量。2.对于不是上界标识的首遇坏标识,使用禁止条件为其设计的控制库所可能禁止合法标识。因此为该首遇坏标识设计控制库所时,需要保证合法标识不被禁止。通过分析,提出和覆盖集定义,得到需要考虑的合法标识。给出迭代方法设计控制库所禁止首遇坏标识。首先只考虑禁止条件设计控制库所,每次迭代时,通过和覆盖找到被禁止的合法标识,在整数规划问题里添加可达条件约束,求解整数规划问题更新控制库所,直到最后得到的控制库所不禁止任何合法标识。3.对无法得到最大许可活性控制器的网系统,分析禁止首遇坏标识时必然禁止合法标识的原因,提出矛盾标识定义,并给出算法得到次优控制器。