Dependability modeling using Petri-nets
- Already Purchased? View Article
- Subscription Options Learn More
This paper describes a methodology to construct dependability models using generalized stochastic Petri nets (GSPN) and stochastic reward nets (SRN). Algorithms are provided to convert a fault tree (a commonly used combinatorial model type) model into equivalent GSPN and SRN models. In a fault-tree model, various kinds of distributions can be assigned to components such as defective failure-time distribution, nondefective failure-time distribution, or a failure probability. The paper describes subnet constructions for each of these different cases, and shows how to incorporate repair in these models
Published in:
Reliability, IEEE Transactions on
(Volume:44
,
Issue:
3
)
Date of Publication: Sep 1995