DocumentCode
1254635
Title
The use of Petri nets to analyze coherent fault trees
Author
Hura, G.S. ; Atwood, J.W.
Author_Institution
Dept. of Comput. Sci., Wright State Univ., Dayton, OH, USA
Volume
37
Issue
5
fYear
1988
fDate
12/1/1988 12:00:00 AM
Firstpage
469
Lastpage
474
Abstract
The use of Petri nets to represent fault trees is discussed. Using reachability and other analytic properties of Petri nets, a more general and useful method to study the dynamic behavior of the model at various levels of abstraction is examined. The problems of fault-detection and propagation are discussed. For simplicity, only coherent fault trees are considered. However, the representation and analysis techniques are general and can be used for noncoherent fault trees
Keywords
Petri nets; failure analysis; reliability theory; Petri nets; coherent fault trees; dynamic behavior; fault propagation; fault tree analysis; fault-detection; reachability; reliability; Controllability; Failure analysis; Fault detection; Fault trees; Graph theory; Information analysis; Logic gates; Petri nets; Probability; System recovery;
fLanguage
English
Journal_Title
Reliability, IEEE Transactions on
Publisher
ieee
ISSN
0018-9529
Type
jour
DOI
10.1109/24.9864
Filename
9864
Link To Document