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

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.

[1]  Falko Bause,et al.  Stochastic Petri Nets , 1996 .

[2]  S. C. Wood,et al.  Simple performance models for integrated processing tools , 1996 .

[3]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .

[4]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[5]  Yechiam Yemini,et al.  Protocol Specification, Testing and Verification, IV , 1985 .

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  R. S. Gyurcsik,et al.  Single-wafer cluster tool performance: an analysis of the effects of redundant chambers and revisitation sequences on throughput , 1996 .

[8]  Wlodzimierz M. Zuberek,et al.  Timed Petri net models of cluster tools , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[9]  S. Venkatesh,et al.  A steady-state throughput analysis of cluster tools: dual-blade versus single-blade robots , 1997 .

[10]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[11]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[12]  Wlodzimierz M. Zuberek,et al.  Timed petri nets in modeling and analysis of simple schedules for manufacturing cells , 1999 .

[13]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.

[14]  Manuel Silva Suárez,et al.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems , 1996, Petri Nets.

[15]  Raghavan Srinivasan,et al.  Modeling and performance analysis of cluster tools using Petri nets , 1998 .

[16]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[17]  Karsten P. Ulland,et al.  Vii. References , 2022 .

[18]  R. S. Gyurcsik,et al.  Single-wafer cluster tool performance: an analysis of throughput , 1994 .

[19]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.