Cluster tools with chamber revisiting - modeling and analysis using timed Petri nets

Zuberek, W.M.

IEEE Transactions on Semiconductor Manufacturing, vol.17, no.3, pp.333-344, 2004.

Abstract:

Timed Petri nets are formal models of discrete concurrent systems. Since the durations of all activities are included in the model descriptions, many performance characteristics can be derived from such models. In the case of cluster tools, net models represent the flow of wafers through the chambers of the tool as well as consecutive actions performed by the robotic transporter. Steady-state performance of cluster tools with chamber revisiting is investigated in this paper. A systematic development of detailed tool schedules, based on a general behavioral description of the tool, is proposed and is used to derive the corresponding Petri net models. Symbolic performance characteristics of the modeled tools are obtained by using place invariants, without exhaustive reachability analysis. Simple examples presented in the paper can be easily extended in many ways.

Keywords:

Cluster tools, chamber revisiting, steady-state behavior, timed Petri nets, net invariants, performance analysis.

References:

• W.M.P. van der Aalst, "Interval timed colored Petri nets and their analysis"; in Application and Theory of Petri Nets 1993 (LNCS 691), pp.453-472, 1993.
• M. Ajmone Marsan, G. Conte, and G. Balbo, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems"; ACM Trans. on Computer Systems, vol.2, no.2, pp.93-122, 1984.
• F. Bause and P.S. Kritzinger, Stochastic Petri nets - an introduction to the theory (Academic Studies in Computer Science); Vieweg Publ. 1996.
• P. Burggraaf, "Coping with the high cost of wafer fabs"; Semiconductor International, vol.18, no.3, pp.45-50, 1995.
• S. Calvez, P. Aygalinc, and W. Khansa, "P-time Petri nets for manufacturing systems with staying time constraints"; Proc. IFAC Conf. on Control of Industrial Systems, pp.1487-1492, 1997.
• J-H. Chen, L-C. Fu, M-H.Lin and A-C. Huang, "Petri net and GA-based approach to modeling, scheduling, and performance evaluation for wafer fabrication"; IEEE Trans. on Robotics and Automation, vol.17, no.5, pp.619-636, 2001.
• D.P. Connors, G.E. Feigin, and D.D. Yao, "A quequeing network model for semiconductor manufacturing"; IEEE Trans. on Semiconductor Manufacturing, vol.9, no.3, pp.412-427, 1996.
• A.A. Desrochers and R.Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems; IEEE Press 1995.
• F. DiCesare, G. Harhalakis, J.M. Proth, M. Silva, and F.B. Vernadat, Practice of Petri Nets in Manufacturing; Chapman and Hall 1993.
• B. Hansen, "Benefits of cluster tool architecture for implementation of evolutionary equipment improvements and applications"; in SPIE Process Module Metrology, Control, and Clustering, vol.1594, pp.83-91, 1991.
• J.R. Hauser and S.A. Rizvi, "Cluster tool technology"; in SPIE Process Module Metrology, Control, and Clustering, vol.1594, pp.45-54, 1991.
• R.A. Hendrickson, "Optimizing cluster tool throughput"; Solid State Technology, vol.40, no.7, pp.217-222, 1997.
• M.D. Jeng and F. DiCesare, "A review of synthesis techniques for Petri nets i with applications to automated manufacturing systems"; IEEE Trans. on Systems, Man, and Cybernetics, vol.23, no.1, pp.301-312, 1993.
• M-D. Jeng and X.Xie, "Modeling and analysis of semiconductor manufacturing systems with degraded behavior using Petri nets and siphons"; IEEE Trans. on Robotics and Automation, vol.17, no.5, pp.576-588, 2001.
• M-D. Jeng, X. Xie, and Y. Hung, "Markovian timed nets for performance analysis of semiconductor manufacturing systems"; IEEE Trans. on Systems, Man, and Cybernetics, pt.B: Cybernetics, vol.30, no.5, pp.757-771, 2000.
• W. Khansa, J-P. Denat, and S.D. Collart, "P-time Petri nets for manufacturing systems''; Proc. IEEE Int. Workshop on Discrete Event Systems, pp.94-102, 1996.
• J-H. Kim, T-E. Lee, H-Y. Lee, and D-B. Park, "Scheduling analysis of time-constrained dual-armed cluster tools"; IEEE Trans. on Semiconductor Manufacturing, vol.16, no.3, pp.521-534, 2003.
• F. Krueckeberg and M. Jaxy, "Mathematical methods for calculating invariants in Petri nets"; in Advances in Petri Nets 1987 (Lecture Notes in Computer Science 266), pp.104-131, Springer-Verlag 1987.
• S. Kumar and P.R. Kumar, "Queueing network models in the design and analysis of semiconductor wafer fabs"; IEEE Trans. on Robotics and Automation, vol.17, no.5, pp.548-561, 2001.
• M.J. Lopez and S.C. Wood, "Systems of multiple cluster tools: configuration, and performance under perfect reliability"; IEEE Trans. on Semiconductor Manufacturing, vol.11, no.3, pp.465-474, 1998.
• M.J. Lopez and S.C. Wood, "Systems of multiple cluster tools: configuration, reliability, and performance"; IEEE Trans. on Semiconductor Manufacturing, vol.16, no.2, pp.170-178, 2003.
• J. Martinez and M. Silva, "Simple and fast algorithm to obtain all invariants of a generalized Petri net"; Applications and Theory of Petri Nets (Informatik Fachberichte 52); pp.301-310, Springer-Verlag 1982.
• T.K. McNab, "Cluster tools, pt.1: emerging processes"; Semiconductor International, vol.13, no.9, pp.58-63, 1990.
• P.M. Merlin and D.J. Farber, "Recoverability of communication protocols - implications of a theoretical study"; IEEE Trans. on Communications, vol.24, no.9, pp.1036-1049, 1976.
• D.J. Miller, "Simulation of a semiconductor manufacturing line"; Communications of ACM, vol.33, no.10, pp.98-108, 1990.
• M.W. Moslehi, R.A. Chapman, M. Wong, A. Parandi, H.N. Najm, J. Kuhne, R.L. Yeakley, and C.J. Davis, "Single-wafer integrated semiconductor device processing"; IEEE Trans. on Electronic Devices, vol.39, no.1, pp.4-32, 1992.
• T. Murata, "Petri nets: properties, analysis and applications"; Proceedings of IEEE, vol.77, no.4, pp.541-580, 1989.
• B. Newboe, "Cluster tools: a process solution"; Semiconductor International, vol.12, no.8, pp.82-88, 1990.
• T.L. Perkinson, P.K. MacLarty, R.S. Gyurcsik, and R.K. Cavin III, "Single-wafer cluster tool performance: an analysis of throughput"; IEEE Trans. on Semiconductor Manufacturing, vol.7, no.3, pp.369-373, 1994.
• T.L. Perkinson, R.S. Gyurcsik, and P.K. MacLarty, "Single-wafer cluster tool performance: an analysis of the effects of redundant chambers and revisitations sequences on throughput"; IEEE Trans. on Semiconductor Manufacturing, vol.9, no.3, pp.384-400, 1996.
• J.M. Proth and X. Xie, Petri Nets; Wiley & Sons 1996.
• C.V. Ramamoorthy and G.S. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets"; IEEE Trans. on Software Engineering, vol.6, no.5, pp.440-449, 1980.
• R.R. Razouk and C.V. Phelphs, "Performance analysis using timed Petri net"; in Protocol Specification, Testing, and Verification IV (Proc. of the IFIP WG 6.1 Fourth Int. Workshop, Skytop Lodge PA), pp.561-576, North-Holland 1985.
• W. Reisig, Petri nets - an introduction (EATCS Monographs on Theoretical Computer Science 4); Springer-Verlag 1985.
• S. Rostami, B. Hamidzadeh, and D. Camporese, "An optimal periodic scheduler for dual-arm robots in cluster tools with residency constraints"; IEEE Trans. on Robotics and Automation, vol.17, no.5, pp.609-628, 2001.
• J. Sifakis, "Use of Petri nets for performance evaluation"; in Measuring, modeling and evaluating computer systems, pp.75-93, North-Holland 1977.
• M. Silva, E. Teruel, and J.M. Colom, "Linear algebraic and linear programming techniques for the analysis of place/transition net systems"; in Lectures on Petri Nets I: Basic Models (Lecture Notes in Computer Science 1491), pp.309-373, Springer-Verlag 1998.
• P. Singer, "The driving forces in cluster tool development"; Semiconductor International, vol.18, no.8, pp.113-118, 1995.
• R.S. Srinivasan, "Modeling and performance analysis of cluster tools using Petri nets"; IEEE Trans. on Semiconductor Manufacturing, vol.11, no.3, pp.394-403, 1998.
• S. Venkatesh, R. Davenport, P. Foxhoven, and J. Nulman, "A steady-state throughput analysis of cluster tools: dual-blade versus single-blade robots"; IEEE Trans. on Semiconductor Manufacturing, vol.10, no.4, pp.418-423, 1997.
• S.C. Wood, "Simple performance models for integrated processing tools"; IEEE Trans. on Semiconductor Manufacturing, vol.9, no.3, pp.320-328, 1996.
• S.C. Wood, "Cost and cycle time performance of fabs based on integrated single-wafer processing"; IEEE Trans. on Semiconductor Manufacturing, vol.10, no.1, pp.98-111, 1997.
• S.C. Wood and K.C. Saraswat, "The economic impact of single wafer multiprocessors"; in SPIE Rapid Thermal and Related Processing Technique, vol.1393, p.36, 1990.
• S.C. Wood and K.C. Saraswat, "Modeling the performance of cluster-based fabs"; Proc. 1991 IEEE/SEMI Int. Semiconductor Manufacturing Science Symp., pp.8-14, 1991.
• N. Wu and M-C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems"; IEEE Trans. on Robotics and Automation, vol.17, no.5, pp.658-669, 2001.
• M-C. Zhou, Petri Nets in Flexible and Agile Automation; Kluwer Academic Publishers 1995.
• M-C. Zhou and M.D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach"; IEEE Trans. on Semiconductor Manufacturing, vol.11, no.3, pp.333-357, 1998.
• W.M. Zuberek, "Timed Petri nets - definitions, properties and applications"; Microelectronics and Reliability (Special Issue on Petri Nets and Related Graph Models), vol.31, no.4, pp.627-644, 1991.
• Zuberek, W.M., "Timed Petri net in modeling and analysis of cluster tools"; IEEE Trans. on Robotics and Automation, vol.17, no.5, pp.562-575, 2001.
• A database of tools for analysis of Petri net models is maintained at DAIMI, Department of Computer Science, Aarhus University, Denmark: www.daimi.au.dk/PetriNets.

Available in pdf.