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

Abstract

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.

Keywords

semiconductor wafer fabrication / photolithography process / hybrid Petri net / object-oriented method

References

[1] LinJ. T., WangF. K., ChangY. M.. A hybrid push/pull dispatching rule for a photobay in a 300 mm wafer fab[J]. Robotics and Computer-Integrated Manufacturing, 2006, 22(1): 47-55

[2] ZhouM., JengM. D.. Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach[J]. IEEE Transactions on Semiconductor Manufacturing, 1998, 11(3): 333-357

[3] AkcaltE., NemotoK., UzasoyR.. Cycle-time improvements for photolithography process in semiconductor manufacturing[J]. IEEE Transactions on Semiconductor Manufacturing, 2001, 14(1): 48-56

[4] ReisiqW.. Petri nets and algebraic specifications[J]. Theoretical Computer Science, 1991, 80(1): 1-34

[5] LeeC. C., LinJ. T.. Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems[J]. International Journal of Production Research, 1995, 33(12): 3249-3265

[6] LinM. H., FuL. C.. Modeling, control and simulation of an IC wafer fabrication system: A generalized stochastic colored timed Petri net approach[J]. International Journal of Production Research, 2000, 38(14): 3305-3341

[7] SalimifardK., WrightM.. Petri net-based modeling of workflow systems: An overview[J]. European Journal of Operational Research, 2001, 134(3): 664-676

[8] ParkJ., ReveliotisS. A., BodnerD. A.. High-fidelity rapid prototyping of 300 mm fabs through discrete event system modeling[J]. Computer in Industry, 2001, 45(1): 79-98

[9] ThevenonL., FlausJ. M.. Modular representation of complex hybrid systems: Application to the simulation of batch processes[J]. Simulation Practice and Theory, 2000, 8(3): 283-306

[10] JiangZ., ZuoM. J., FungR. Y. K.. Performance modeling of complex dynamic production systems using temporized object-oriented Petri nets with changeable structure (TOPNs-CS)[J]. International Journal of Advanced Manufacturing Technology, 2000, 16(7): 521-536

[11] AllamM., AllaH.. Modeling and simulation of an electronic component manufacturing system using hybrid Petri nets[J]. IEEE Transactions on Semiconductor Manufacturing, 1998, 11(3): 374-383

[12] LeeY. K., ParkS. J.. OPNets: An object-oriented high-level Petri net model for real-time system modeling[J]. Journal of System Software, 1993, 20(1): 69-86

[13] HongJ. E., BaeD. H.. High-level Petri net for incremental analysis of object-oriented system requirements[J]. IEE Proceedings: Software, 2001, 148(1): 11-18

[14] HsiungP. A., LeeT. Y., ChenS. H. J.. MOBnet: An extended Petri net model for the concurrent object-oriented system-level synthesis of multiprocessor systems[J]. IEICE Transactions on Information and Systems, 1997, E80-D(2): 232-242

[15] LiuH., JiangZ., FungR. Y. K.. Modeling of large-scale complex re-entrant manufacturing systems by extended object-oriented Petri nets[J]. International Journal of Advanced Manufacturing Technology, 2005, 27(1/2): 190-204

[16] GosmanB., SivanL. S., SwissaR.. Yield enhancement in photolithography through model-based process control: Average mode control[J]. IEEE Transactions on Semiconductor Manufacturing, 2005, 18(1): 86-93

[17] BraunA. E.. Track systems meet throughput and productivity challenges[J]. Semiconductor International, 1998, 21(2): 63-64

[18] YoonH. J., LeeD. Y.. Deadlock-free scheduling of photolithography equipment in semiconductor fabrication[J]. IEEE Transactions on Semiconductor Manufacturing, 2004, 17(1): 42-54