Scheduling a wet station for wafer cleaning with multiple job flows and multiple wafer-handling robots

References

• Baccelli , FL , Cohen , G , Olsder , GJ and Quadrat , JP . 1992 . Synchronization and Linearity: An Algebra for Discrete Event Systems , New York : Wiley .
   Google Scholar
• Barkaoui , K and Pradat-Peyre , JF . 1996 . On liveness and controlled siphons in Petri nets. . Lect. Notes Comput. Sci. , 1091 : 57 – 72 .
   Google Scholar
• Che , A , Chu , C and Chu , F . 2002 . Multicyclic hoist scheduling with constant processing times. . IEEE Trans. Robot. Automn , 18 : 69 – 80 .
   Google Scholar
• Chen , H , Chu , C and Proth , JM . 1998 . Cyclic scheduling of a hoist with time window constraints. . IEEE Trans. Robot. Automn , 14 : 144 – 152 .
   Google Scholar
• Crama , Y , Kats , V , van de Klundert , J and Levner , E . 2000 . Cyclic scheduling in robotic flowshops, . Ann. Oper. Res. , 96 : 97 – 124 .
   Web of Science ®Google Scholar
• Garcia-Valles , F , Colom , JM and Ezpeleta , J . 2000 . Comments on “Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources”. . IEEE Trans. Autom. Contr. , 45 : 1760 – 1761 .
   Google Scholar
• Gurov , DB , Muller , HA , Kapron , BM and Escalante , MA . 1995 . Towards an optimal deadlock avoidance algorithm for flexible manufacturing systems, in . Proceedings of the IEEE International Conference Systems , : 4137 – 4142 . Man, and Cybernetics
   Google Scholar
• Kats , V and Levner , E . 2002 . Cyclic scheduling in a robotic production line. . J. Schedul. , 5 : 23 – 41 .
   Web of Science ®Google Scholar
• Kim , JH , Lee , TE , Lee , HY and Park , DB . 2003 . Scheduling analysis of time-constrained dual-armed cluster tools. . IEEE Trans. Semicond. Mfg , 6 : 521 – 534 .
   Google Scholar
• Lee , HY and Lee , TE . 2006 . Scheduling single-armed cluster tools with reentrant wafer flows. . IEEE Trans. Semicond. Mfg , (to appear)
   Google Scholar
• Lee , TE . 2000 . Stable earliest schedule for cyclic job shops: a linear system approach. . Int. J. flex. Mfg Syst. , 12 : 59 – 82 .
   Google Scholar
• Lee , T-E and Park , S-H . 2005a . An extended event graph with negative places and tokens for time window constraints. . IEEE Trans. Automn Sci. Engng , 2 : 319 – 332 .
   Web of Science ®Google Scholar
• Lee , T-E and Park , S-H . Steady state analysis of a timed event graph with time window constraints . Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE) . pp. 1 – 6 .
   Google Scholar
• Lee , TE and Posner , ME . 1997 . Performance measures and schedules in periodic job shops. . Oper. Res. , 45 : 72 – 91 .
   Web of Science ®Google Scholar
• Lei , L and Wang , TJ . 1994 . Determining optimal cyclic hoist schedules in a single-hoist electroplating line. . IIE Trans. , 26 : 25 – 33 .
   Web of Science ®Google Scholar
• Leung , JMY , Zhang , G , Yang , X , Mak , R and Lam , K . 2004 . Optimal cyclic multi-hoist scheduling: a mixed integer programming approach. . Oper. Res. , 52 : 965 – 976 .
   Web of Science ®Google Scholar
• Lewis , FL , Gurel , A , Bogdan , S , Doganalp , A and Pastravanu , OC . 1998 . Analysis of deadlock and circular waits using a matrix model for flexible manufactruing systems. . Automatica , 34 : 1083 – 1100 .
   Web of Science ®Google Scholar
• Liu , J , Jiang , Y and Zhou , Z . 2002 . Cyclic scheduling of a single hoist in extended electroplating lines: a comprehensive integer programming solution. . IIE Trans. , 34 : 905 – 914 .
   Web of Science ®Google Scholar
• Lu , JK , Ko , FH , Chu , TC , Sun , YC , Wang , MY and Wang , TK . 2000 . Evaluation of cleaning efficiency with a radioactive tracer and development of a microwave digestion method for semiconductor processes. . Anal. chim. Acta , 407 : 291 – 300 .
   Google Scholar
• Manier , MA , Varnier , C and Baptiste , P . 2000 . Constraint-based model for the cyclic multi-hoists scheduling problem. . Prod. Plann. Contr. , 11 : 244 – 257 .
   Web of Science ®Google Scholar
• Mireles , J and Lewis , FL . 2002 . Deadlock analysis and routing on free-choice multipart reentrant flow lines using a matrix-based discrete event control . Proceedings of the 41st IEEE Conference on Decision and Control , : 793 – 798 .
   Google Scholar
• Murata , T . 1989 . Petri nets: properties, analysis and applications. . Proc. IEEE , 77 : 541 – 580 .
   Web of Science ®Google Scholar
• Ng , WC . 1996 . A branch and bound algorithm for hoist scheduling of a circuit board production line. . Int. J. flex. Mfg Syst. , 8 : 44 – 65 .
   Google Scholar
• Phillips , LW and Unger , PS . 1976 . Mathematical programming solution of a hoist scheduling program. . AIIE Trans. , 8 : 219 – 225 .
   Google Scholar
• Proth , J-M . Petri nets for modeling and evaluating deterministic and stochastic manufacturing systems . Proceedings of the Seventh International Workshop on Petri Nets and Performance Models . pp. 2 – 14 .
   Google Scholar
• Rostami , S , Hamidzadeh , B and Camporese , D . 2001 . An optimal periodic scheduler for dual-arm robots in cluster tools with residency constraints. . IEEE Trans. Robot. Automn , 17 : 609 – 618 .
   Google Scholar
• Seo , JW and Lee , TE . 2002 . Steady state analysis of cyclic job shops with overtaking. . Int. J. flex. Mfg Syst. , 14 : 291 – 318 .
   Google Scholar
• Shapiro , GW and Nuttle , HL . 1988 . Hoist scheduling for a PCB electroplating facility. . IIE Trans. , 20 : 157 – 167 .
   Web of Science ®Google Scholar
• Yoon , HJ and Lee , DY . 2004 . Deadlock-free scheduling method for photolithography equipment in semiconductor fabrication. . IEEE Trans. Semicond. Mfg , 17 : 42 – 54 .
   Web of Science ®Google Scholar