An improved MIP-based policy for deadlock prevention based on Petri nets

作者：Wang, Dong; Jiang, Xinghao; Tan, Zhonghong; Wang, Shouguang^*

来源：International Journal of Digital Content Technology and Its Applications, 2011, 5(9): 38-46.

DOI：10.4156/jdcta.vol5.issue9.5

• Automated flexible manufacturing systems
• Deadlock prevention
• Mixed integer programming (MIP)
• Ordinary Petri net

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. It performs in an iterative way and targets at systems modeled by a class of ordinary Petri nets called S3PR. 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.

• 出版日期2011
• 单位上海交通大学