Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach

Ajomone Marsan, 1986, On Petri nets with deterministic and exponentially distributed firing times, 132

Ajmone Marsan, 1995, Modeling with Generalized Stiochatic Petri Nets

1989, Flexible Work Station: User Guide and Manual, Version 1.01

Azzopardi, 1996, Object oriented Petri net synthesis for modeling a semiconductor testing plant, Proc. IMACS-IEEE/SMC Int. Conf. Computational Engineering in Systems Applications, 374

10.1109/70.63273

Ahmed, 1991, Flexible manufacturing production system modeling using object Petri nets and their analysis, IMACS Symp. MCTS, 553

10.1109/81.285680

10.1109/81.139289

10.1109/ETFA.1997.616298

10.1109/70.650158

Desrochers, 1995, Applications of Petri Nets in Manufacturing Systems

Dugan, 1985, The design of a unified package for the solution of stochastic Petri net models, Proc. 1985 IEEE Int. Workshop on Timed Petri Nets, 6

Ezpeleta, 1993, A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets, Advances in Petri Nets 1993, 126, 10.1007/3-540-56689-9_42

10.1109/70.370500

Feng, 1995, Application of cell controller design to semiconductor IC CIM based on Petri nets

10.1109/ICSMC.1997.638110

10.1109/21.155947

Ferrarini, 1995, Computer aided design of logic controllers with Petri nets, Petri Nets in Flexible and Agile Automation, 71, 10.1007/978-1-4615-2231-7_3

Florin, 1982, Evaluation based upon stochastic Petri nets of the maximum throughput of a full duplex protocol, Application and Theory of Petri Nets, 208

10.1109/70.86074

10.1016/0304-3975(81)90113-4

10.1109/32.67597

10.1109/70.282544

1992, Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use, EATCS Monographs in Computer Science

10.1109/70.388774

Jeng, 1996, Modeling and analysis of the photo area in an IC manufacturing system, Proc. IEEE Int. Conf. Systems, Man, Cybernetics, 2973

10.1109/ICSMC.1997.625761

10.1109/ICSMC.1997.638112

Jeng, 1998, Modeling, qualitative analysis, and performance evaluation of the etching area in an IC wafer fabrication system using Petri nets

10.1109/ICSMC.1997.633103

10.1109/ETFA.1994.401983

Lakos, 1995, From colored Petri nets to object Petri net, Proc. 15th Int. Conf. Applications and Theory of Petri Nets

Lautenbach, Linear algebraic technique for place/transition nets, Advances on Petri Nets'86\—Part I, 254, 142, 10.1007/978-3-540-47919-2_7

Lautenbach, 1994, Liveness in bounded Petri nets which are covered by $T$-invariants, Advances in Petri Nets 1994, 10.1007/3-540-58152-9_20

10.1109/70.282537

Lee, 1985, Hierarchical reduction method for analysis and decomposition of Petri nets, IEEE Trans. Syst., Man, Cybern., SMC-15, 272, 10.1109/TSMC.1985.6313357

10.1109/66.542170

10.1016/0020-0190(84)90067-X

Molloy, 1982, Performance analysis using stochastic Petri nets, IEEE Trans. Comput., 31, 913, 10.1109/TC.1982.1676110

10.1109/5.24143

10.1007/BF02023780

Olcoz, 1993, A Petri Net approach for the analysis of VHDL descriptions, Correct Hardware Design and Verification Methods, 683, 15, 10.1007/BFb0021711

Olcoz, 1995, A colored Petri net model of VHDL, Formal Meth. Syst. Design, 7, 101, 10.1007/BF01383875

Ramamoorthy, 1980, Performance evaluation of asynchronous concurrent systems using Petri nets, IEEE Trans. Softw. Eng., 6, 440, 10.1109/TSE.1980.230492

10.1109/21.310512

Silva, 1985, Las Redes de Petri en la Automatica y la Informatica

Suzuki, 1983, A method for stepwise refinements and abstractions of Petri nets, J. Comput. Syst. Sci., 27, 51, 10.1016/0022-0000(83)90029-6

10.1016/0022-0000(79)90050-3

Wong, 1992, Automated generation of modified reachability trees for Petri nets, Proc. 1992 Regional Control Conf., 119

10.1109/9.299623

Xing, 1995, Deadlock avoidance policy for flexible manufacturing systems, Petri Nets in Flexible and Agile Automation, 239, 10.1007/978-1-4615-2231-7_9

Xiong, 1996, Scheduling and discrete event control of flexible manufacturing systems based on Petri nets

10.1109/9.280791

10.1109/70.86081

Zhou, 1991, Modeling and performance analysis of a flexible PCB assembly station using Petri nets, Trans. ASME J. Electron. Packag., 113, 410, 10.1115/1.2905428

Zhou, 1993, Reduction and approximation of stochastic Petri nets with multiple-input multiple-output modules, Preprints 12th IFAC World Congr., 4, 159

10.1109/21.229464

Zhou, 1993, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, 10.1007/978-1-4615-3126-5

1995, Petri Nets in Flexible and Agile Automation

Zhou, Applications of Petri net methodology to manufacturing systems, Computer Control of Manufacturing Systems, 307

Zhou, 1998, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach

10.1109/41.334575

10.1109/41.334574