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.>
No takes yet. Share an insight, caveat, or question.
Hura et al. (1988) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: