Design and Reliability Analysis of Concurrent System by Petri Nets: A Case on Lift System

패트리네트를 이용한 병행 시스템의 설계 및 신뢰성 분석 : 승강기 시스템을 중심으로

In this paper, we show that Petri nets can be applied to design and reliability analysis of concurrent, parallel and embedded mode system such as a lift system that is familiar to our daily life. Modeling the behavioral characteristics of the lift system we extend the standard Petri nets by nadditionally constant timed transition, fault transition, stochastic imed ttransition and conditional transition concepts. Likewise, we present esults of rdesign and analysis of the system. This method can be applied to esign and danalysis of any other concurrent systems.