General conversion of integer programming problems into optimal firing sequence problem of Petri nets

Abstract

Given an initial marking and final marking for a Petri net model, an optimal firing sequence problem is defined as the problem to find an optimal transition firing sequence to minimize the objective function. For the purpose of analysis of general integer programming problems, we propose a Petri net representation and reachability analysis of integer programming problems. In the proposed method, an integer programming problem is converted into the optimal firing sequence problem of Petri nets. By utilizing the proposed algorithm, integer programming problems can be visualized and analyzed by the Petri net theory. We apply the proposed methodology to the scheduling problems of dual armed cluster tools. The valid inequalities are derived from the reachability analysis. Numerical results show that those valid inequalities can significantly reduce the computational time of the original integer programming problem.