Dynamic Fault Tree analysis based on Petri nets

Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009

Volumn , Issue , 2009, Pages 138-142

  Zhang, Xiaojie ^a   Miao, Qiang ^a   Fan, Xianfeng ^a   Wang, Dong ^a  

^a UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA   (China)

Author keywords

Dynamic Fault Tree; Markov; Petri net; Reliability Modeling

Indexed keywords

ANALYSIS RESULTS; COMBINATORIAL EXPLOSION; DYNAMIC FAULT TREE ANALYSIS; DYNAMIC FAULT TREES; DYNAMIC LOGIC; MARKOV; MARKOV CHAIN; PROCESSOR SYSTEMS; RELIABILITY MODELING; STATIC AND DYNAMIC; SUBTREES;

BINARY DECISION DIAGRAMS; EXPLOSIONS; FAULT TREE ANALYSIS; GRAPH THEORY; MAINTAINABILITY; MARKOV PROCESSES; PETRI NETS; PROBLEM SOLVING; RELIABILITY;

QUALITY ASSURANCE;

EID: 77955966202     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRMS.2009.5270223     Document Type: Conference Paper

References (7)

1. M.C. Zhou, and M.D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a petri net approach," IEEE Transactions on Semiconductor Manufacturing, 1998, Vol.11, No.3, pp.333-357.
2. C. Girault, and R. Valk, "Petri nets for system engineering: a guide to modeling, verification, and aApplications," Publishing House of Electronics Industry. 2005, pp.63-75.
3. R. Zurawski, and M.C. Zhou, "Petri nets and industrial applications: a tutorial," IEEE Transactions on Industrial Electronics, 1994, Vol.41, NO.6, pp.567-582.
4. G. Ciardo, R. German, and C. Lindemann, "A characterization of the stochastic process underlying a stochastic petri net," IEEE Transactions on Software Engineering, 1994, Vol.20, No.7, pp.506-515.
5. A.L. Zhang, Y. Wu, and J.D. Zhang, et al., "Reliability model and analysis for avionics synthetic system," Journal of Projectiles, Rockets, Missiles and Guidance, 2006, Vol.26, No.2, pp.800-807.
6. H.Z. Huang, F. Zhou, X. Zu, "Petri nets based coordination component for CSCW environments," Journal of Mechanical Science and Technology, 2005, Vol.19, No.5, pp.1123-1130.
7. F. Zhou, R.F. Bo, H.Z. Huang, D. Ling, Q. Miao, "Hierarchical colored Petri nets based components for workflow systems," Journal of Mechanical Science and Technology, 2006, Vol.20, No.10, pp.1527- 1533.