Title :
An efficient search algorithm for deadlock-free scheduling in FMS using Petri nets
Author :
Abdallah, Imed Ben ; El Maraghy, H. ; El Mekkawy, T.
Author_Institution :
Intelligent Manuf. Syst. Centre, Windsor Univ., Ont., Canada
Abstract :
An efficient search algorithm for finding optimal deadlock-free schedules in FMS modeled by S4R nets is presented. The algorithm is based on the branch and bound principle, the depth first search and truncation techniques based on the structure theory of Petri nets. It is applied to the timed S4R net extended with priority rules. The efficiency of the proposed approach is illustrated using an example from the literature
Keywords :
Petri nets; flexible manufacturing systems; production control; tree searching; FMS; Petri nets; S4R nets; branch and bound principle; deadlock-free scheduling; depth first search; efficient search algorithm; priority rules; structure theory; truncation techniques; Buildings; Flexible manufacturing systems; Intelligent manufacturing systems; Job shop scheduling; Manufacturing systems; Petri nets; Processor scheduling; Roentgenium; Scheduling algorithm; System recovery;
Conference_Titel :
Robotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on
Conference_Location :
Leuven
Print_ISBN :
0-7803-4300-X
DOI :
10.1109/ROBOT.1998.677427
