DocumentCode :
977233
Title :
Dependability modeling using Petri-nets
Author :
Malhotra, Manish ; Trivedi, Kishor S.
Author_Institution :
AT&T Bell Labs., Holmdel, NJ, USA
Volume :
44
Issue :
3
fYear :
1995
fDate :
9/1/1995 12:00:00 AM
Firstpage :
428
Lastpage :
440
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;
fLanguage :
English
Journal_Title :
Reliability, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9529
Type :
jour
DOI :
10.1109/24.406578
Filename :
406578
Link To Document :
بازگشت