The conversion of dynamic fault trees to stochastic Petri Nets, as a case of graph transformation

Daniele Codetta-Raiteri

doi:10.1016/j.entcs.2005.02.005

The conversion of dynamic fault trees to stochastic Petri Nets, as a case of graph transformation

Daniele Codetta-Raiteri

Risultato della ricerca: Contributo su rivista › Articolo da conferenza › peer review

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.

Lingua originale	Inglese
pagine (da-a)	45-60
Numero di pagine	16
Rivista	Electronic Notes in Theoretical Computer Science
Volume	127
Numero di pubblicazione	2
DOI	https://doi.org/10.1016/j.entcs.2005.02.005
Stato di pubblicazione	Pubblicato - 31 mar 2005
Pubblicato esternamente	Sì
Evento	Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004) - Durata: 2 ott 2004 → 2 ott 2004

Accesso al documento

10.1016/j.entcs.2005.02.005

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@article{712a1878ff9d487abb1799fd17de5911,

title = "The conversion of dynamic fault trees to stochastic Petri Nets, as a case of graph transformation",

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.",

keywords = "Dynamic Fault Tree, Reliability, Stochastic Petri Net",

author = "Daniele Codetta-Raiteri",

note = "Funding Information: 1 The work of D. Codetta-Raiteri is partially supported by MIUR under grant FIRB PERF RBNE019N8N. 2 Email: [email protected]; Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004) ; Conference date: 02-10-2004 Through 02-10-2004",

year = "2005",

month = mar,

day = "31",

doi = "10.1016/j.entcs.2005.02.005",

language = "English",

volume = "127",

pages = "45--60",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "2",

}

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 - https://www.scopus.com/pages/publications/14944386109

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 -

The conversion of dynamic fault trees to stochastic Petri Nets, as a case of graph transformation

Abstract

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo