Petri net modeling and Lagrangian relaxation approach to vehicle scheduling in 300mm semiconductor manufacturing

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2004, Issue 5, 2004, Pages 5301-5306

  Liao, Da Yin ^a   Jeng, MuDer ^b   Zhou, MengChu ^c,d  

^a NATIONAL CHI NAN UNIVERSITY   (Taiwan)

^b NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d INSTITUTE OF AUTOMATION   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; AUTOMATION; DECISION MAKING; FUNCTIONS; INTEGER PROGRAMMING; LAGRANGE MULTIPLIERS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING; SCHEDULING; SYNCHRONIZATION;

AUTOMATED MATERIAL HANDLING; JOB DELIVERY TIME; LAGRANGIAN RELAXATION; SEMICONDUCTOR MANUFACTURING;

ROBOTICS;

EID: 3042550235     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Automated Material Handling System (AMHS) Framework User Requirements Document: Version 1.0, International SEMATECH, 1999.
2. H.-S. Fu, D.-Y. Liao, "An effective OHT dispatch policy for 300mm AMHS management," Proc. of 2001 SEMICON Taiwan, Taipei, September 2001.
3. International Technology Roadmap for Semiconductors, 2001 Edition, Semiconductor Industry Association, 2001. (http://public.itrs.net)
4. C.-H. Kuo, "Modelling and performance evaluation of an overhead hoist transport system in a 300mm fabrication plant," Int. J. Adv. Manuf. Technol., Vol. 20, pp. 133-161, 2002.
5. D.-Y. Liao, S.-C. Chang, K.-W. Pei and C.-M. Chang, "Daily scheduling for R&D semiconductor fabrication," IEEE Trans. on Semiconductor Manufacturing, Vol. 9, No. 4, pp. 550-561, November 1996.
6. T. Murata, "Petri nets: properties, analysis and applications," Processings of the IEEE, Vol. 77, No. 4, pp. 541-580, April 1989.
7. J. L. Peterson, Petri Net Theory and the Modeling of System, Addison-Wesley, 1981.
8. J. Park, S. Reveliotis, D. Bodner, C. Zhou and L. McGinnis, "A colored Petri net-based approach to the design of 300mm wafer fab controllers," Proc. of the 2001 IEEE Intern. Conf. on Robotics & Automation, Seoul, Korea, pp. 1813-1819, May 2001.
9. J.-H. Ting and J. M. A. Tanchoco, "Unidirectional circular layout for overhead material handling systems," Int. Journal of Production Research, Vol. 38, No. 16, pp. 3913-3935, 2000.
10. C.-N. Wang and D.-Y. Liao, "Effective OHT dispatching for differential material handling services in 300mm wafer foundry," Proc. of 2003 IEEE Intern. Conf. on Robotics and Automation, Taipei, Taiwan, Sep. 2003.
11. M.-C. Zhou and M.-D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach," IEEE Trans. on Semiconduct. Manufact., Vol. 11, No. 3, pp. 333-357, August 1998.
12. Y. Zhang, P. B. Luh, K. Narimatsu, T. Moriya, T. Shimada and L. Fang, "A macro-level scheduling method using Lagrangian relaxation," IEEE Trans. on Robotics and Automation, Vol. 17, No. 1, pp. 70-79, Feb. 2001.
13. X. Zhao, P. B. Luh and J. Wang, "The surrogate gradient algorithm for Lagrangian relaxation method," Proc. of the 36th Conf. on Decision & Control, pp. 305-310, San Diego, CA USA, Dec. 1997.