A branch and bound algorithm for cyclic scheduling of timed petri nets

IEEE Transactions on Automation Science and Engineering

Volumn 12, Issue 1, 2015, Pages 309-323

  Jung, Chihyun ^a   Kim, Hyun Jung ^b   Lee, Tae Eog ^c  

^a IBM MICROELECTRONICS   (United States)

^b DEPARTMENT OF INDUSTRIAL ENGINEERING AND OPERATIONS RESEARCH   (United States)

^c Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Branch and bound algorithm; cluster tool; cyclic scheduling; timed event graph (TEG); timed Petri net (TPN)

Indexed keywords

ALGORITHMS; BRANCH AND BOUND METHOD; CLUSTERING ALGORITHMS; COMPUTATIONAL EFFICIENCY; DISCRETE EVENT SIMULATION; LINEAR PROGRAMMING; MACHINE SHOP PRACTICE; MANUFACTURE; MATHEMATICAL TRANSFORMATIONS; PETRI NETS; PROBLEM SOLVING; ROBOTICS; SCHEDULING ALGORITHMS; TOOLS; TREES (MATHEMATICS);

BRANCH-AND-BOUND ALGORITHMS; CLUSTER TOOL; CYCLIC SCHEDULING; TIMED EVENT GRAPHS; TIMED PETRI NETS;

SCHEDULING;

EID: 84920716049     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2013.2285221     Document Type: Article

References (48)

1. C. Hanen and A. Munier, "Cyclic scheduling on parallel processors: An overview," in Scheduling Theory and Its Applications, P. Chrétienne, E. G. Coffman, J. K. Lenstra, and Z. Liu, Eds. New York, NY, USA: Wiley, 1994, pp. 193-226.
2. E. Levner,V.Kats, D. A.L. de Pablo, andT.C.E.Cheng, "Complexity of cyclic scheduling problems: A state-of-the-art survey," Comput. Ind. Eng., vol. 59, no. 2, pp. 352-361, 2010.
3. M. Dawande, H. N. Geismar, S. P. Sethi, and C. Sriskandarajah, Throughput Optimization in Robotic Cells. New York,NY,USA: Springer, 2007.
4. N. G. Hall, H. Kamoun, and C. Sriskandarajah, "Scheduling in robotic cells: Classification, two and three machine cells," Oper. Res., vol. 45, no. 3, pp. 421-439, 1997.
5. T.-E. Lee, "Stable earliest schedule for cyclic job shops: A linear system approach," Int. J. Flexible Manuf. Syst., vol. 17, no. 5, pp. 562-575, 2001.
6. E. V. Levner and V. Kats, "A parametric critical path problem and an application for cyclic scheduling," Discrete Appl. Math., vol. 87, no. 1, pp. 149-158, 1998.
7. J.-H. Kim, T.-E. Lee, H.-Y. Lee, and D.-B. Park, "Scheduling analysis of time-constrained dual-armed cluster tools," IEEE Trans. Semicond. Manuf., vol. 16, no. 3, pp. 521-534, 2003.
8. H.-Y. Lee and T.-E. Lee, "Scheduling single-armed cluster tools with reentrant wafer flows," IEEE Trans. Semicond. Manuf., vol. 19, no. 2, pp. 226-240, 2006.
9. J.-H. Paek and T.-E. Lee, "Optimal scheduling of dual-armed cluster tools without swap restriction," in Proc. IEEE Conf. Autom. Sci.,Washington, DC, USA, 2008, pp. 103-108.
10. C. Jung and T.-E. Lee, "An efficientmixed integer programmingmodel based on timed Petri nets for diverse complex cluster tool scheduling problems," IEEE Trans. Semicond. Manuf., vol. 25, no. 2, pp. 186-199, 2012.
11. M. Zhou,H.-S. Chiu, and H.Xiong, "Petri net scheduling of FMS using branch and boundmethod," in Proc. IEEE Conf. Ind. Electron., Control and Instrumentation, Orlando, 1995, pp. 211-216.
12. N. Geismar, M. Dawande, and C. Sriskandarajah, "Productivity improvement from using machine buffers in dual-gripper cluster tools," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 1, pp. 29-41, Jan. 2011.
13. N. Wu, C. Chu, F. Chu, and M. Zhou, "A Petri net method for schedulability and scheduling problems in single-arm cluster tools with wafer residency time constraints," IEEE Trans. Semicond. Manuf., vol. 21, no. 2, pp. 224-237, 2008.
14. N. Wu, F. Chu, C. Chu, and M. Zhou, "Petri net-based cycle time analysis of dual-arm cluster tools with wafer revisiting and swapping strategy," in Proc. IEEE Int. Conf. Robot. Autom., Shanghai, 2011, pp. 5499-5504.
15. N. Q. Wu, F. Chu, C. B. Chu, and M. C. Zhou, "Petri net-based scheduling of single-arm cluster tools with reentrant atomic layer deposition processes," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 1, pp. 42-55, Jan. 2011.
16. N. Q. Wu and M. C. Zhou, "A closed-form solution for schedulability and optimal scheduling of dual-arm cluster tools with wafer residency time constraint based on steady schedule analysis," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 2, pp. 303-315, Apr. 2010.
17. N. Q. Wu and M. C. Zhou, "Analysis of wafer sojourn time in dual-arm cluster tools with residency time constraint and activity time variation," IEEE Trans. Semicond. Manuf., vol. 23, no. 1, pp. 53-64, 2010.
18. N. Q. Wu and M. C. Zhou, System Modeling and Control With Resource-Oriented Petri Nets. New York: Taylor & Francis, 2010.
19. N. Wu and M. Zhou, "Modeling, analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 9, no. 2, pp. 446-454, Apr. 2012.
20. N. Wu and M. Zhou, "Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation," IEEE Trans. Autom. Sci. Eng., vol. 9, no. 1, pp. 203-209, Jan. 2012.
21. Y. Qiao, N. Wu, and M. Zhou, "Real-time scheduling of single-arm cluster tools subject to residency time constraints and bounded activity time variation," IEEE Trans. Autom. Sci. Eng., vol. 9, no. 3, pp. 564-577, Jul. 2012.
22. Y. Qiao, N. Wu, and M. Zhou, "Petri net modeling and wafer sojourn time analysis of single-arm cluster toolswith residency time constraints and activity time variation," IEEE Trans. Semicond. Manuf., vol. 25, no. 3, pp. 432-446, 2012.
23. N. Wu, F. Chu, C. Chu, and M. Zhou, "Petri net modeling and cycletime analysis of dual-arm cluster tools with wafer revisiting," IEEE Trans. Syst., Man, Cybern.-Part A: Syst. Humans, vol. 43, no. 1, pp. 196-207, 2013.
24. Y. Qiao, N. Wu, and M. Zhou, "A Petri net-based novel scheduling approach and its cycle time analysis for dual-arm cluster tools with wafer revisiting," IEEE Trans. Semicond. Manuf., vol. 26, no. 1, pp. 100-110, 2013.
25. T.Hsu, O.Korbaa, R.Dupas, andG. Goncalves, "Cyclic scheduling for F.M.S.: Modeling and evolutionary solving approach," Eur. J. Oper. Res., vol. 191, no. 2, pp. 464-484, 2008.
26. G. Cavory, R.Dupas, andG.Goncalves, "A genetic approach to solving the problem of cyclic job shop scheduling with linear constraints," Eur. J. Oper. Res., vol. 161, no. 1, pp. 73-85, 2005.
27. B. Trouillet, O. Korbaa, and J.-C. Gentina, "Formal approach of FMS cyclic scheduling," IEEE Trans. Syst., Man, Cybern.-Part C: Appl. Rev., vol. 37, no. 1, pp. 126-137, 2007.
28. A. Che and C. Chu, "Cyclic hoist scheduling in large real-life electroplating lines," OR Spectrum, vol. 29, no. 3, pp. 445-470, 2007.
29. S. Lloyd,H.Yu, and N. Konstas, "FMS scheduling using Petri netmodeling and a branch&bound search," inProc. IEEE Int. Symp.Assembly and Task Planning, Pittsburgh, 1995, pp. 141-146.
30. C. V. Ramamoorthy and G. S. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets," IEEE Trans. Softw. Eng., vol. SE-6, no. 5, pp. 440-449, 1980.
31. H. Hillion and J.-M. Proth, "Performance evaluation of job-shop systems using timed event-graphs," IEEE Trans. Autom. Control, vol. 34, no. 1, pp. 3-9, 1989.
32. J. Carlier, P. Chretienne, and C. Girault, "Modeling scheduling problems with timed Petri nets," Advances in Petri Nets, vol. 188, pp. 62-82, 1985.
33. J. Carlier and P. Chretienne, "Timed Petri net schedules," Advances in Petri Nets, vol. 340, pp. 62-84, 1988.
34. W. M. P. van der Aalst, "Petri net based scheduling," OR Spectrum, vol. 18, no. 4, pp. 219-229, 1996.
35. C. Kim and T.-E. Lee, "Modelling and simulation of automated manufacturing systems for evaluation of complex schedules," Int. J. Prod. Res., vol. 51, no. 12, pp. 3734-3747, 2013.
36. H.-J. Kim, J.-H. Lee, C. Jung, and T.-E. Lee, "Scheduling cluster tools with ready time constraints for consecutive small lots," IEEE Trans. Autom. Sci. Eng., vol. 10, no. 1, pp. 145-159, Jan. 2013.
37. H.-J. Kim, J.-H. Lee, and T.-E. Lee, "Non-cyclic scheduling of a wet station," IEEE Trans. Autom. Sci. Eng., DOI: 10.1109/TASE.2013. 2255037.
38. J. Wang, Timed Petri Nets: Theory and Application. Boston, MA, USA: Kluwer Academic, 1998.
39. R. Zurawski and M. Zhou, "Petri nets and industrial applications: A tutorial," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, 1994.
40. F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat, Synchronization and Linerity. New York, NY, USA: Wiley, 1992.
41. T.-E. Lee, P. Sreenivas, and H.-Y. Lee, "Token delays and generalized workload balancing for timed event graphs with application to cluster tool operation," in Proc. IEEE Int. Conf. Autom. Sci. Eng., Shanghai, 2006, pp. 93-99.
42. N. Brauner and G. Finke, "Cycles and permutations in robotic cells," Math. Comput. Modeling, vol. 34, no. 5-6, pp. 565-591, 2001.
43. S. P. Sethi, C. Sriskandarajah, G. Sorger, J. Blazewicz, andW. Kubiak, "Sequencing of parts and robot moves in a robotic cell," Int. J. Flexible Manuf. Syst., vol. 4, no. 3-4, pp. 331-358, 1992.
44. M. Jeng, "Comments on timed Petri nets in modeling and analysis of cluster tools," IEEE Trans. Autom. Sci. Eng., vol. 2, no. 1, pp. 92-93, Apr. 2005.
45. R. L. Rardin, Optimization in Operations Research. Englewood Cliffs, NJ, USA: Prentice-Hall, 1998.
46. R. M. Karp and J. B. Orlin, "Parametric shortest path algorithms with an application to cyclic staffing," Discrete Appl. Math., vol. 3, no. 1, pp. 37-45, 1981.
47. H. Kim, H.-J. Kim, J.-H. Lee, and T.-E. Lee, "Scheduling dual-armed cluster tools with cleaning processes," Int. J. Prod. Res., vol. 51, no. 12, pp. 3671-3687, 2013.
48. J.-H. Lee, H.-J. Kim, and T.-E. Lee, "Scheduling lot switching operations for cluster tools," IEEE Trans. Semicond. Manuf., vol. 26, no. 4, pp. 592-601, Nov. 2013, DOI: 10.1109/TASE.2013.2255037.