Edinburgh Napier University

  The combination of Petri net (PN) and AI to solve flexible manufacturing systems (FMS) scheduling problems has been proven to be a promising approach. However, the NP-hard nature of the problem prevents the PN capability of reasoning about the behavior of a practical system. To overcome this drawback, we propose two techniques: a systematic method to avoid the generation of unpromising paths within the search graph, and a stage-search based algorithm. The algorithm developed is based on the application of the A* algorithm and the PN-based heuristics. The search is performed within a limited local search window where an optimization policy is applied to evaluate the most promising paths. For each state, the algorithm is able to decide whether an enabled operation is applied, and to maintain the decision until new system information makes the reconsideration meaningful. Comparison with previous work is presented to show the superiority of the proposed approach.