Petri Nets(PNs), as a graphical and mathematical tool, provide a uniform environment for modeling, formal analysis, and design of discrete event systems. The main objective of this paper is to model and analyze the manufacturing system using PNs as well as simulate the manufacturing system. The analysis method used in this paper is Embedded Markov Chain(EMC) method for Generalized Stochastic Petri nets(GSPN). The simulation tools used in this paper are Arena and Simnet V. 1.37. The results of three methods, EMC method, PNs simulation and Arena simulation, are obtained and compared.

Abstract
 1. INTRODUCTION
 2. DESCRIPTION OF MANUFACTURING SYSTEM
 3. MODELING AND ANALYSIS OF THE SYSTEM
 4. COMPUTATIONAL RESULT AND CONCLUSION
 REFERENCE

• Jong-Hwan Lee(Department of Industrial & System Engineering Kumoh National Institute of Technology, Gumi, Korea)