基于信标的柔性制造系统的优化死锁预防策略

针对柔性制造系统（FMS）中的死锁问题，根据矩阵理论给出了Petri网中基本信标的概念，进而提出一种基于基本信标和混合整数规划法（MIP）的死锁预防策略．该策略将最优基本信标作为控制对象，以混合整数规划法给出的系统无死锁条件为目标函数．不考虑从属信标受控条件便可在多项式时间内使系统受控．该控制策略的显著特点是以较低的计算复杂度实现整个系统受控，并使需要添加的控制库所和连接弧大大减少．控制实例证明了其有效性．

Optimal Deadlock Prevention Policy in FMS Using Siphons

To solve deadlock problem arising in flexible manufacturing system(FMS),the concept of elementary siphons in Petri nets is proposed.Furthermore,a novel deadlock prevention policy based on elementary siphons and the mixed integer programming(MIP) algorithm is presented.In this policy,the optimal elementary siphons serve for the control objects,while the deadlock-free conditions derived from MIP perform as the objective function.The whole net system can be controlled efficiently without considering the dependent siphons.The main feature of this policy is that the net system can be controlled with minimal controlling places,arcs and low computational complexity.Simulation results demonstrate the effectiveness and efficiency of the proposed policy.