TY - JOUR
T1 - The conversion of dynamic fault trees to stochastic Petri Nets, as a case of graph transformation
AU - Codetta-Raiteri, Daniele
N1 - Funding Information:
1 The work of D. Codetta-Raiteri is partially supported by MIUR under grant FIRB PERF RBNE019N8N. 2 Email: [email protected]
PY - 2005/3/31
Y1 - 2005/3/31
N2 - 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 Petri Net: this task is expressed by means of graph transformation rules, and is applied to a case of system.
AB - 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 Petri Net: this task is expressed by means of graph transformation rules, and is applied to a case of system.
KW - Dynamic Fault Tree
KW - Reliability
KW - Stochastic Petri Net
UR - http://www.scopus.com/inward/record.url?scp=14944386109&partnerID=8YFLogxK
U2 - 10.1016/j.entcs.2005.02.005
DO - 10.1016/j.entcs.2005.02.005
M3 - Conference article
SN - 1571-0661
VL - 127
SP - 45
EP - 60
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
IS - 2
T2 - Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004)
Y2 - 2 October 2004 through 2 October 2004
ER -