In this paper, we described the existing methodology of product safety analysis and proposed a Petri-nets based method to analyze product safety systematically. The proposed method can be used to find the defects of hardware/software and the error of hu

페트리 네트(Petri Nets)는 이산 사건 시스템을 모델링할 수 있는 그래픽하고, 수학적인 도구이다. 본 연구는 유연 제조 시스템을 확률적인 페트리 네트(Stochastic Petri Nets)중의 하나인 임베디드 마코프 체인(Embeded Markov Chain)에 도입하고, 임베디드 마코프 체인의 방법 중에 하나인 일반화된 확률적 페트리 네트(Generalized Stochastic Petri Nets)에 적용시켰다. 그리고 결과치의 정확성을 알

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.