Modeling of photolithography process in semiconductor wafer fabrication systems using extended hybrid Petri nets

To describe a semiconductor wafer fabrication flow availably, a new modeling method of extended hybrid Petri nets (EHPNs) was proposed. To model the discrete part and continuous part of a complex photolithography process, hybrid Petri nets (HPNs) were introduced. To cope with the complexity of a photolithography process, object-oriented methods such as encapsulation and classifications were integrated with HPN models. EHPN definitions were presented on the basis of HPN models and object-oriented methods. Object-oriented hybrid Petri subnet models were developed for each typical physical object and an EHPN modeling procedure steps were structured. To demonstrate the feasibility and validity of the proposed modeling method, a real wafer photolithography case was used to illustrate the modeling procedure. The modeling results indicate that the EHPNs can deal with the dynamic modeling of a complex photolithography process effectively.

[1]  Sung Joo Park,et al.  OPNets: An object-oriented high-level Petri net model for real-time system modeling , 1993, J. Syst. Softw..

[2]  R. Uzsoy,et al.  Cycle-time improvements for photolithography process in semiconductor manufacturing , 2001 .

[3]  Thomas Yew Sing Lee,et al.  MOBnet: An Extended Petri Net Model for the Concurrent Object-Oriented System-Level Synthesis of Multiprocessor Systems , 1997 .

[4]  James T. Lin,et al.  Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems , 1995 .

[5]  H. Alla,et al.  Modeling and simulation of an electronic component manufacturing system using hybrid Petri nets , 1998 .

[6]  Hyun Joong Yoon,et al.  Deadlock-free scheduling of photolithography equipment in semiconductor fabrication , 2004 .

[7]  Huiran Liu,et al.  Modeling of large-scale complex re-entrant manufacturing systems by extended object-oriented Petri nets , 2005 .

[8]  A. E. Braun.  Track systems meet throughput and productivity challenges , 1998 .

[9]  Jean-Marie Flaus,et al.  Modular representation of complex hybrid systems: application to the simulation of batch processes , 2000, Simul. Pract. Theory.

[10]  Mike Wright,et al.  Petri net-based modelling of workflow systems: An overview , 2001, Eur. J. Oper. Res..

[11]  MengChu Zhou,et al.  Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach , 1998 .

[12]  Li-Chen Fu,et al.  Modelling, control and simulation of an IC wafer fabrication system: A generalized stochastic coloured timed Petri Net approach , 2000 .

[13]  Fu-Kwun Wang,et al.  A hybrid push/pull-dispatching rule for a photobay in a 300 mm wafer fab , 2006 .

[14]  Doo-Hwan Bae,et al.  High-level Petri net for incremental analysis of object-oriented system requirements , 2001, IEE Proc. Softw..

[15]  Wolfgang Reisig,et al.  Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..

[16]  Leon F. McGinnis,et al.  High-fidelity rapid prototyping of 300 mm fabs through discrete event system modeling , 2001, Comput. Ind..

[17]  Z. Jiang,et al.  Performance Modelling of Complex Dynamic Production Systems Using Temporised Object-Oriented Petri Nets with Changeable Structure (TOPNs-CS) , 2000 .

[18]  B. Grosman,et al.  Yield enhancement in photolithography through model-based process control: average mode control , 2005, IEEE Transactions on Semiconductor Manufacturing.