An Improved MIP-Based Policy for Deadlock Prevention Based on Petri Nets
Deadlocks are undesired in highly automated flexible manufacturing systems. The Mixed Integer Programming (MIP)-based deadlock prevention method is considered as one of the most efficient methods at present. However, it suffers from the problem that the weights of the monitor arcs are greater than 1. In this paper, a modified MIP-based method is proposed to compute an empty siphon that contains no monitors and thus monitors with weighted arcs can be avoided. Therefore, the method is effective in approving computational efficiency. Finally, an example is used to illustrate the proposed method.