论文部分内容阅读
本文提出了表征一个Petri网子类，即S^4R网 （systemofsequentialsystemswithsharedresources）中死锁问题的必需信标的概念和一种将混合整数规划算法与必需信标控制相结合的死锁预防策略．在该策略的迭代过程中，混合整数规划算法发现被控Petri网中是否存在最大的死标识信标，若存在，则通过库所分类和迭代式的信标提取，得到必需信标，添加相应的控制库所，满足必需信标的最大可控性，从而实现被控的Petri网活性的目的．理论分析和算例验证表明了该策略的正确性和有效性．