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

Electronic Notes in Theoretical Computer Science

Volumn 127, Issue 2, 2005, Pages 45-60

  Codetta Raiteri, Daniele ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Dynamic Fault Tree; Reliability; Stochastic Petri Net

Indexed keywords

FAULT TREE ANALYSIS; LARGE SCALE SYSTEMS; MARKOV PROCESSES; MATHEMATICAL TRANSFORMATIONS; RANDOM PROCESSES; RELIABILITY THEORY; STATE SPACE METHODS;

CONTINUOUS TIME MARKOV CHAINS (CTMC); DYNAMIC FAULT TREES (DFT); GRAPH TRANSFORMATION; STOCHASTIC PETRI NETS;

PETRI NETS;

EID: 14944386109     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.02.005     Document Type: Conference Paper

References (9)

1. M. Ajmone-Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis Modelling with Generalized Stochastic Petri Nets Wiley Series in Parallel Computing 1995
2. Bobbio, A. and D. Codetta-Raiteri, Parametric Fault-trees with Dynamic Gates and Repair Boxes, in: Proceedings of the Annual Reliability and Maintainability Symposium, Los Angeles, January 2004, pp. 459-465
3. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications IEEE Transactions on Computers 42 1993 1343 1360
4. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets Performance Evaluation 24 1995 47 68
5. J.B. Dugan, S.J. Bavuso, and M.A. Boyd Dynamic Fault-Tree Models for Fault-tolerant Computer Systems IEEE Transactions on Reliability 41 1992 363 377
6. H. Ehrig, and J. Padberg Graph Grammars and Petri Net Transformation G.R.J. Desel W. Reisig Lectures on Concurrency and Petri Nets LNCS 3098 2004 Springer 496 536
7. G. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca, and V. Vittorini Drawnet++: Model objects to support performance analysis and simulation of systems Computer Performance Evaluation / TOOLS LNCS 2324 2002 233 238
8. W.G. Schneeweiss The Fault Tree Method 1999 LiLoLe Verlag
9. K.S. Trivedi Probability and Statistics with Reliability, Queuing and Computer Science Applications 2001 Wiley and Sons