Modelling, control and simulation of an IC wafer fabrication system: A generalized stochastic coloured timed Petri Net approach

This study presents a generalized stochastic coloured timed Petri net(GSCTPN) to model an IC wafer fabrication system. According to the GSCTPN, it models the dynamic behaviours of the IC fabrication system, such as loading, reentrant processing, unloading and machine failure. Furthermore, modular and synthesis techniques are used to construct a large and complex system model. The two major sub-models are the Process-Flow Model and the Transportation Model. The Transportation Model incorporates a simple motion-planning rule and a collision avoidance strategy to solve the variable speed and traffic jam problems of vehicles. This work also describes a simulation based performance analysis and schedule adjustment. To demonstrate the promise of the proposed work, this study makes actual Taiwanese IC wafer fabrication systems the target plant layout for implementation.

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

[2]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[3]  MuDer Jeng,et al.  Modeling, qualitative analysis, and performance evaluation of the etching area in an IC wafer fabrication system using Petri nets , 1998 .

[4]  Edward Anderson,et al.  Two new rules to minimize tardiness in a job shop , 1990 .

[5]  Alexandre Dolgui,et al.  A stochastic method for discrete and continuous optimization in manufacturing systems , 1997, J. Intell. Manuf..

[6]  T. Sawik.  Modelling and scheduling of a Flexible Manufacturing System , 1990 .

[7]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[8]  G. Rand.  Sequencing and Scheduling: An Introduction to the Mathematics of the Job-Shop , 1982 .

[9]  Yadati Narahari,et al.  Modeling the effect of hot lots in semiconductor manufacturing systems , 1997 .

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

[11]  MengChu Zhou,et al.  Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search , 1998 .

[12]  C. R. Glassey,et al.  Dynamic batching heuristic for simultaneous processing , 1991 .

[13]  Shu Li,et al.  Minimum inventory variability schedule with applications in semiconductor fabrication , 1996 .

[14]  Michel Diaz,et al.  Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models , 1982, Comput. Networks.

[15]  J. J. Plata.  300 mm fab design-a total factory perspective , 1997, 1997 IEEE International Symposium on Semiconductor Manufacturing Conference Proceedings (Cat. No.97CH36023).

[16]  Reha Uzsoy,et al.  A REVIEW OF PRODUCTION PLANNING AND SCHEDULING MODELS IN THE SEMICONDUCTOR INDUSTRY PART I: SYSTEM CHARACTERISTICS, PERFORMANCE EVALUATION AND PRODUCTION PLANNING , 1992 .

[17]  Joël Favrel,et al.  Hierarchical reduction method for analysis and decomposition of Petri nets , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[18]  Yeong-Dae Kim,et al.  Due-date based scheduling and control policies in a multiproduct semiconductor wafer fabrication facility , 1998 .

[19]  Joël Favrel,et al.  Generalized Petri Net Reduction Method , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[20]  D.J. Hoitomt,et al.  Scheduling jobs with simple precedence constraints on parallel machines , 1990, IEEE Control Systems Magazine.

[21]  S. Sarin,et al.  An improved branching scheme for the branch and bound procedure of scheduling n jobs on m parallel machines to minimize total weighted flowtime , 1988 .

[22]  K. Preston White,et al.  Algebraic, mathematical programming, and network models of the deterministic job-shop scheduling problem , 1991, IEEE Trans. Syst. Man Cybern..

[23]  Lee W. Schruben,et al.  Planning and scheduling in Japanese semiconductor manufacturing , 1994 .

[24]  Jörn W. Janneck,et al.  Modeling a die bonder with Petri nets: a case study , 1998 .

[25]  Jean-Pierre Courtiat,et al.  REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control , 1982, IEEE Transactions on Computers.

[26]  Clare D. McGillem,et al.  Task assignment and load balancing of autonomous vehicles in a flexible manufacturing system , 1987, IEEE Journal on Robotics and Automation.

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

[28]  Hsu-Pin Wang,et al.  Evaluation and dynamic allocation of AS/RS control rules: A simulation study , 1991 .

[29]  R. Uzsoy,et al.  Production scheduling algorithms for a semiconductor test facility , 1989, IEEE/SEMI International Semiconductor Manufacturing Science Symposium.

[30]  D.A. Hodges,et al.  Benchmarking Semiconductor Manufacturing , 1997, 27th European Solid-State Device Research Conference.

[31]  Pravin K. Johri,et al.  Practical issues in scheduling and dispatching in semiconductor wafer fabrication , 1993 .

[32]  T. Teyner,et al.  Maintenance scheduling and staffing policies in a wafer fabrication facility , 1998, ICMTS 1998.

[33]  Frank DiCesare,et al.  Experimental study of a heuristic function for FMS scheduling , 1992 .

[34]  Reha Uzsoy,et al.  A review of production planning and scheduling models in the semiconductor industry , 1994 .

[35]  Michael Jeng-Ping Shaw.  Knowledge-based scheduling in flexible manufacturing systems: an integration of pattern-directed inference and heuristic search , 1988 .

[36]  Jean-Loup Baer,et al.  Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment , 1977, IEEE Transactions on Software Engineering.

[37]  Farzad Mahmoodi,et al.  An investigation of dynamic group scheduling heuristics in a job shop manufacturing cell , 1990 .

[38]  Han-Pang Huang,et al.  Modeling and emulation of a furnace in IC fab based on colored-timed Petri net , 1998 .

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

[40]  Michael K. Molloy.  Discrete Time Stochastic Petri Nets , 1985, IEEE Transactions on Software Engineering.

[41]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[42]  Lee Dong-Ho,et al.  A SIMULATION STUDY ON LOT RELEASE CONTROL, MASK SCHEDULING, AND BATCH SCHEDULING IN SEMICONDUCTOR WAFER FABRICATION FACILITIES , 1998 .

[43]  Kimon P. Valavanis.  On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets , 1990, IEEE Trans. Syst. Man Cybern..