Title :
Dependability modeling using Petri-nets
Author :
Malhotra, Manish ; Trivedi, Kishor S.
Author_Institution :
AT&T Bell Labs., Holmdel, NJ, USA
fDate :
9/1/1995 12:00:00 AM
Abstract :
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
Keywords :
Petri nets; fault trees; maintenance engineering; reliability theory; statistical analysis; stochastic processes; algorithms; defective failure-time distribution; dependability models; failure probability; fault tree; generalized stochastic Petri nets; nondefective failure-time distribution; reliability; repair; stochastic reward nets; subnet constructions; Fault trees; Packaging; Performance analysis; Petri nets; Power measurement; Power system modeling; Processor scheduling; Resumes; Stochastic processes; Stochastic systems;
Journal_Title :
Reliability, IEEE Transactions on