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
fDate :
12/1/1988 12:00:00 AM
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;
Journal_Title :
Reliability, IEEE Transactions on
