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 Petri Net: this task is expressed by means of graph transformation rules, and is applied to a case of system.
| Original language | English |
|---|---|
| Pages (from-to) | 45-60 |
| Number of pages | 16 |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 127 |
| Issue number | 2 |
| DOIs | |
| Publication status | Published - 31 Mar 2005 |
| Externally published | Yes |
| Event | Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004) - Duration: 2 Oct 2004 → 2 Oct 2004 |
Keywords
- Dynamic Fault Tree
- Reliability
- Stochastic Petri Net
Fingerprint
Dive into the research topics of 'The conversion of dynamic fault trees to stochastic Petri Nets, as a case of graph transformation'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver