An efficient search algorithm for deadlock-free scheduling in FMS using Petri nets

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2, Issue , 1998, Pages 1793-1798

  Ben Abdallah, I ^a   El Maraghy, H ^a   El Mekkawy, T ^a  

^a UNIVERSITY OF WINDSOR   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; ROBOTICS; ALGORITHMS; SCHEDULING;

DEADLOCK FREE; DEADLOCK-FREE SCHEDULING; DEPTH FIRST SEARCH; PRIORITY RULES; SEARCH ALGORITHMS; STRUCTURE THEORY; TRUNCATION TECHNIQUES;

LEARNING ALGORITHMS; FLEXIBLE MANUFACTURING SYSTEMS;

SYSTEMS OF SEQUENTIAL SYSTEMS WITH SHARED RESOURCES;

EID: 0031646105     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.1998.677427     Document Type: Conference Paper

References (16)

1. W.M.P. Van Der Aalst, "Interval Timed Coloured Petri Nets and their Analysis, " In M. Ajmone Marsan, editor, Application and Theory of Fetri Nets, LNCS 691, pp. 453-472. Springer Verlag, 1993.
2. K. Barkaoui and I. BenAbdallah, "Analysis of a Resource Allocation Problem in FMS Using Structure Theory of Petri Nets, " In Proc. of the first International Workshop on Manufacturing ond Petri Nets, pp. 1-15, Osaka, Japan, June 1996.
3. K. Barkaoui and J. Peyre, "On Liveness and Controlled Siphons in Petri Nets, " In Proc. of the 17th lot. Conf. on Application and Theory of Petri Nets, Osaka, Japan, June 1996.
4. I. BenAbdallah and H. ElMaraghy, "A Deadlock-free Scheduling Method for a Class of FMS, " In Proc. of th 29th CIRP Jot. Seminar on Manufacturing Systems, pp. 257-263, Osaka, Japan, May 1997.
5. I. BenAbdallah and H. ElMaraghy, "Deadlock Prevention and Avoidance in FMS: A Petri Net-Based Approach, " International Journal of Advanced Manufacturing Technology, vol. 16, no. 1, , 1998.
6. I. BenAbdallah, H. ElMaraghy, and T. ElMekkawy, "A Logic Programming Approach for Finding Minimal Siphons in S3PR Nets Applied to Manufacturing Systems, " In Proc. of the IEEE SMC97, pp. 1710 1715, Orlando, Florida, USA, October 1997.
7. J. Carlier arid P. Chretienne, "Timed Petri Net Schedules, " In G. Rozenberg, editor, Advances in Petri Nets, LNCS 340, pp. 62-84. Springer Verlag, 1988.
8. F. DiCesare, G. Harhalakis, J.M. Proth, J.M. Silva, and F.B. Vernadat, Practice of Petri Nets in Manufacturing. Chapman & Hall, London, UK, 1993.
9. J. Ezpeleta, J.M. Colom, and J. Martinez, "A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems, " IEEE Trans. on Robotics and Automation, vol. 11, no. 2, pp. 173-184, 1995.
10. R. Haupt, "A survey of priority rule-based scheduling, " OR Spectrum, vol. 11, pp. 3-16, 1989.
11. DY. Lee and F. DiCesare, "Scheduling FMS Using Petri Nets and Heuristic Search, " IEEE Trans. on Robotics and Automation, vol. 10, no. 2, pp. 123-132, 1994.
12. M. Pinedo, Scheduling: Theory, Algorithms, and Systems. Prentice-Hall, New Jersey, USA, 1995.
13. S.E. Ramaswamy and S.B. Josh, "Deadlock-Free Schedules for Automated Manufacturing Workstations, " IEEE Trans. on Robotics and Automation, vol. 12, no. 3, pp. 391-400, 1996.
14. U Shen, Q. Chen, and J.Y.S. Liih, "Truncation of Petri net models for simplifying computation of optimum scheduling problems, " Computers in Industry, vol. 20, pp. 25-43, 1992.
15. H. Sbih and T. Sekiguchi, "A Timed Petri Net and Beam Search Based On-Line FMS Scheduling System with Routing Flexibility, " In Proc. of 1991 IEEE lot. Conf. on Robotics and Automation, pp. 2548-2553, Sacramento, California, USA, April 1991.
16. H.H. Xiong and MC. Zhou, "Deadlock-free Scheduling of an Automated Manufacturing System Based on Petri Nets, " In Proc. of 1997 IEEE mt. Co of. on Robotics and Automation, pp. 945-950, Albuquerque, New Mexico, April 1997.