论文部分内容阅读
死锁是自动制造系统控制系统设计时必须考虑和解决的问题。迭代控制算法是其中的一种Petri网死锁预防方法。本文对基于改进的混合整数规划方法(RMIP算法）寻找严格极小信标的迭代控制算法进行了分析。RMIP算法避免求取网系统中所有的严格极小信标，在计算信标方面可以大大降低复杂度。在RMIP算法求取严格极小信标的基础上，通过分析网的转化与网控制的转化之间的关系，得出了一种可以用控制普通网的方法来控制一般网的迭代控制算法。在这些算法的实现过程中涉及到RMIP求解极小信标的问题、一般网向普通网的转化及返回转化问题、死锁检测问题、冗余控制库所的检测及删除等问题。