The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation

A model-to-model transformation from Dynamic Fault Trees to Stochastic Petri Nets, by means of graph transformation rules, is presented in this paper. Dynamic Fault Trees (DFT) are used for the reliability analysis of complex and large systems and represent by means of gates, how combinations or sequences of component failure events, lead to the failure of the system. DFTs need the state space solution which can be obtained by converting a DFT to a Stochastic PetriNet: this task is expressed by means of graph transformation rules, and is applied to a case of system