The use of Petri nets to analyze coherent fault trees
Gurdeep Singh Hura, John William Atwood · IEEE Transactions on Reliability · 1988
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.>