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.
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation
CODETTA RAITERI, Daniele
2005-01-01
Abstract
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
entcs.pdf
file disponibile solo agli amministratori
Tipologia:
Documento in Post-print
Licenza:
DRM non definito
Dimensione
328.94 kB
Formato
Adobe PDF
|
328.94 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.