Dependencies in event trees analyzed by Petri nets

Reliability Engineering and System Safety

Volumn 104, Issue , 2012, Pages 45-57

  Nývlt, Ondřej ^a   Rausand, Marvin ^b  

^a CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

^b NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

Event tree; Fault tree; Petri nets; Risk analysis

Indexed keywords

COMMON CAUSE FAILURE; EVENT TREE ANALYSIS; EVENT TREES; FAULT-TREES; HIGHWAY TUNNEL; P-INVARIANTS; PRAGUE , CZECH REPUBLIC; SHARED COMPONENTS; TREE MODELING;

QUALITY ASSURANCE; RISK ANALYSIS; SAFETY ENGINEERING;

PETRI NETS;

EID: 84860670402     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2012.03.013     Document Type: Article

References (26)

1. M. Rausand Risk assessment; theory, methods, and applications 2011 Wiley Hoboken, NJ
2. M. Rausand, and A. Hoyland System reliability theory; models, statistical methods, and applications 2nd ed 2004 Wiley Hoboken, NJ
3. J.D. Andrews, and S.J. Dunnett Event-tree analysis using binary decision diagrams IEEE Transactions on Reliability 49 2 2000 230 238 ISSN 0018-9529 (Pubitemid 32031222)
4. Hadi Hosseini SM, Takahashi M. Combining static/dynamic fault trees and event trees using Bayesian networks. In: SAFECOMP; 2007. p. 93-9.
5. Xu H, Dugan JB. Combining dynamic fault trees and event trees for probabilistic risk assessment. In: Reliability and maintainability, 2004 annual symposium - RAMS; 2004. p. 214-9.
6. Stamatelatos M, Vesely W, Dugan J, Fragola J, Minarick J, Railsback J. Fault tree handbook with aerospace applications. Technical report. US National Aeronautics and Space Administration, Washington, DC; 2002.
7. Stamatelatos M, Apostolakis G, Dezfuli H, Everline C, Guarro S, Moieni P, Mosleh A, Paulos T, Youngblood R. Probabilistic risk assessment procedures guide for nasa managers and practitioners. Technical report. US National Aeronautics and Space Administration, Washington, DC; 2002. Version 1.1.
8. Iec. IEC 62502 analysis techniques for dependability - event tree analysis (eta). Technical report. International Electrotechnical Commission; 2010.
9. Y. Dutuit, E. Chtelet, J.P. Signoret, and P. Thomas Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases Reliability Engineering & System Safety 55 2 1997 117 124 ISSN 0951-8320 (ESREL 94) (Pubitemid 127380848)
10. T.S. Liu, and S.B. Chiou The application of Petri nets to failure analysis Reliability Engineering and System Safety 57 2 1997 129 142 ISSN 0951-8320 (Pubitemid 127382612)
11. D. Vernez, D. Buchs, and G. Pierrehumbert Perspectives in the use of coloured Petri nets for risk analysis and accident modelling Safety Science 41 5 2003 445 463 ISSN 0925-7535 (Pubitemid 36369426)
12. P. Škňouřilová, and R. Briš Coloured Petri nets and a dynamic reliability problem Journal of Risk and Reliability 222 4 2008 635 642 ISSN 1748-006X
13. Iec. IEC 61508: functional safety of electrical/electronic/programmable electronic safety-related systems (part 0-7). Technical report. International Electrotechnical Commission; 1998-2000.
14. Iec. IEC 60300-3-1 dependability management - part 3-1: application guide - analysis techniques for dependability - guide on methodology. Technical report. International Electrotechnical Commission; 2003.
15. Petri CA. Kommunikation mit Automaten. PhD thesis. Institut für instrumentelle Mathematik, Bonn; 1962.
16. R. David, and H. Alla Discrete, continuous, and hybrid Petri nets 2nd ed. 2010 Springer Publishing Company, Incorporated ISBN 3642106684, 9783642106682
17. Martinez J, Silva M. A simple and fast algorithm to obtain all invariants of a generalized Petri net. In: Selected papers from the first and the second European workshop on application and theory of Petri nets, London, UK. Springer; 1982. p. 301-10. ISBN 3-540-11189-1.
18. Svádová M, Hanzálek Z. Matlab toolbox for Petri nets. In: 22nd international conference ICATPN; 2001. p. 32-6.
19. S.K. Yang, and T.S. Liu Failure analysis for an airbag inflator by Petri nets Quality and Reliability Engineering International 13 3 1997 139 151 ISSN 0748-8017 (Pubitemid 127610918)
20. Bonet PN, Lladó C, Puigjaner R, Knottenbelt WJ. PIPE v2.5: a Petri net tool for performance modelling. In: 23rd Latin American conference on informatics (CLEI 2007); 2007. URL 〈 http://pubs.doc.ic.ac.uk/pipe-clei/ 〉.
21. Thelen B. Investigations of algorithms for computer-aided logic design of digital circuits (in German). PhD thesis. ITIV, University of Karlsruhe; 1981.
22. Bieganowski J, Karatkevich A. Heuristics for Thelens prime implicant method. Schedae Informaticae, vol. 14. Kraków: Jagiellonian University Press; 2005. p. 125-35.
23. MATLAB. version 7.11.0 (R2010b). The MathWorks Inc., Natick, MA; 2010.
24. C. Ibáñez Llano, A. Rauzy, E. Meléndez, and F. Nieto Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 223 4 2009 301 311 URL 〈 http://dx.doi.org/10.1243/1748006XJRR259 〉
25. Rákosník L, Prívara S, Nývlt O, Ferkl L, Zápařka J. Safety documentation of the Strahov road tunnel in Prague. In: Underground engineering constructions: transport and city tunnels, Praha, Czech Republic; 2010.
26. Imperial College. PIPE2 - Platform Independent Petri net Editor 2. Department of Computing, Imperial College London; 2007. URL 〈 http://pipe2.sourceforge.net/ 〉. Computer software v2.5.