In: IEEE Trans. Reliab. (USA), Vol. 37, No. 5, pages 469-474. 1988.
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. Only coherent fault trees are considered; however, the representation and analysis techniques are general and can be used for noncoherent fault trees too.