The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation-Reference-Cited by-同舟云学术

The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation

Published:2005-03 Issue:2 Volume:127 Page:45-60
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Codetta-Raiteri Daniele

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference9 articles.

1. Modelling with Generalized Stochastic Petri Nets;Ajmone-Marsan,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. Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications;Chiola;IEEE Transactions on Computers,1993

4. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets;Chiola;Performance Evaluation,1995

5. Dynamic Fault-Tree Models for Fault-tolerant Computer Systems;Dugan;IEEE Transactions on Reliability,1992

Cited by 52 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A maintenance strategy for hydraulic systems based on generalized stochastic Petri nets under epistemic uncertainty;Journal of the Brazilian Society of Mechanical Sciences and Engineering;2024-01-23

2. Reliability Analysis during the Life Cycle of a Technical System and the Monitoring of Reliability Properties;Systems;2023-11-24

3. A Review of Research on Testability Technology for Complex Systems;2023 IEEE 2nd International Conference on Electrical Engineering, Big Data and Algorithms (EEBDA);2023-02-24

4. An adapted component-connection method for building SBDD encoding a dynamic fault tree;Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability;2022-08-17

5. Quantitative Models for Interdependent Functionality and Recovery of Critical Infrastructure Systems;Objective Resilience;2022-04