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

Document Type

Article

Publication Date

12-1-1998

Abstract

This paper presents a Petri net approach to modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems. These systems can be characterized as discrete event systems that exhibit sequential, concurrent, and conflicting relations among the events and operations. Their evolution is dynamic over time. The system complexity is tremendous owing to the complex semiconductor manufacturing processes and test procedures. A formal approach such as Petri nets enables one to describe such complex discrete event systems precisely and thus allows one to perform both qualitative and quantitative analysis, scheduling and discrete-event control of them. This paper also serves as a tutorial paper. It briefly reviews applications of Petri nets in semiconductor manufacturing automation. It then introduces definitions and concepts of Petri nets. It proceeds with a discussion of basic Petri net modules in system modeling, a modeling method and a practical system's modeling example. Next, the paper presents their properties and their implications in manufacturing systems, as well as their analysis methods. Timed Petri nets are introduced for system simulation, performance evaluation, and scheduling purposes. An application-oriented case study is presented. Finally, the paper concludes with the active research areas in applying Petri nets to design of semiconductor manufacturing systems.

Identifier

0032141060 (Scopus)

Publication Title

IEEE Transactions on Semiconductor Manufacturing

External Full Text Location

https://doi.org/10.1109/66.705370

ISSN

08946507

First Page

333

Last Page

357

Issue

3

Volume

11

Grant

DMI-9410386

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS