Petri net modeling and performance analysis of cluster tools with chamber revisiting

Zuberek, W.M.

Proc. IEEE Int. Conf. on Emerging Technologies and Factory Automation; Juan-les-Pins, France, 15-18 October 2001, pp.105-112.

Abstract:

Timed Petri nets are convenient models of cluster tools as they represent the flow of wafers through the chambers of the tool as well as consecutive actions performed by the robotic transporter. Since the durations of all activities are also represented in such model, performance characteristics can be derived for steady-state as well as for transient behaviors. Steady-state performance of tools with chamber revisiting is investigated in this paper. A general description of cluster tools is proposed for systematic derivation of schedules, and a Petri net model is automatically derived from this description. The performance of the modeled system is derived by using place invariants, without exhaustive reachability analysis.

Keywords:

Cluster tools, chamber revisiting, timed Petri nets, steady state analysis, place invariants.

References:

• Ajmone Marsan, M., Conte, G., Balbo, G., "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.
• Bause, F., Kritzinger, P.S., Stochastic Petri nets - an introduction to the theory (Academic Studies in Computer Science); Vieweg Publ. 1996.
• Burggraaf, P., "Coping with the high cost of wafer fabs"; Semiconductor International, vol.18, no.3, pp.45-50, 1995.
• Murata, T., "Petri nets: properties, analysis and applications"; Proceedings of IEEE, vol.77, no.4, pp.541-580, 1989.
• Perkinson, T.L., MacLarty, P.K., Gyurcsik. R.S., Cavin III, R.K., "Single-wafer cluster tool performance: an analysis of throughput"; IEEE Trans. on Semiconductor Manufacturing, vol.7, no.3, pp.369-373, 1994.
• Perkinson, T.L., Gyurcsik. R.S., MacLarty, P.K., "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.
• Ramamoorthy, C.V., Ho, G.S., "Performance evaluation of asynchronous concurrent systems using Petri nets"; IEEE Trans. on Software Engineering, vol.6, no.5, pp.440-449, 1980.
• Razouk, R.R., Phelphs, C.V., "Performance analysis using timed Petri nets"; 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.
• Reisig, W., Petri nets - an introduction (EATCS Monographs on Theoretical Computer Science 4); Springer-Verlag 1985.
• Sifakis, J., "Use of Petri nets for performance evaluation"; in Measuring, Modeling and Evaluating Computer Systems, pp.75-93, North-Holland 1977.
• Silva, M., Teruel, E., Colom, J.M., "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.
• Singer, P., "The driving forces in cluster tool development"; Semiconductor International, vol.18, no.8, pp.113-118, 1995.
• Srinivasan, R.S., "Modeling and performance analysis of cluster tools using Petri nets"; IEEE Trans. on Semiconductor Manufacturing, vol.11, no.3, pp.394-403, 1998.
• Venkatesh, S., Davenport, R., Foxhoven, P., Nulman, J., "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.
• Wood, R., "Simple performance models for integrated processing tools"; IEEE Trans. on Semiconductor Manufacturing, vol.9, no.3, pp.320-328, 1996.
• Zuberek, W.M., "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 models of cluster tools"; Proc. IEEE Int. Symp. on Systems, Man, and Cybernetics (SMC'2000), vol.4, pp.3021-3026, 2000.
• Zuberek, W.M., Kubiak, W., "Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells"; Journal of Computers and Mathematics with Applications, vol.37, no.11/12, pp.191-206, 1999.

Available in pdf and postscript.