Reduction of Stochastic Petri Nets for Reliability Analysis
The model types used for reliability modeling areclassified into two categories: combinatorial model types and state-space model types. Stochastic Petri Nets(abbr.SPN), belonging to one of state-space types,can represent the dependencies, imperfect coverage, correlated failures, and repair dependencies that realistically occur in genuine life scenarios, but the combinatorial models such as reliability block diagrams, fault trees and reliability graphs cant. So, SPNs as a powerful modeling and analyzing tool have received considerably more attention in system reliability analysis.But the problem of state-space explosion of SPN is so serious that limits its ability to analyze complex and large-scale systems. In this paper, we bring forward a method of equivalent reduction to simplify SPN model before analyzing it. The method utilizes four structure-reduction rules: sequence, concurrence, choice and loop structures of elementary reliability model to simplify SPN model and overcome state-space explosion.
stochastic petri nets reliability analysis reduction state-space explosion
Wang Xiaoli Chen Guangju Zhao Qiang Guo Zhongping
Computer Application Institute,China Academy Engineering Physics,MianYang,Sichuan,621900;Department Department of Automation Engineering,University of Electronic Science and Technology of China,Chengd Computer Application Institute,China Academy Engineering Physics,MianYang,Sichuan,621900
国际会议
西安
英文
2007-08-16（万方平台首次上网日期，不代表论文的发表时间）