Availability analysis of safety critical systems using advanced fault tree and stochastic Petri net formalisms

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  MengChu Zhou,et al.  Modeling and performance analysis of a resource-sharing manufacturing system using stochastic Petri nets , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[3]  Frank DiCesare,et al.  Modeling, Control, and Performance Analysis of Automated Manufacturing Systems Using Petri Nets , 1991 .

[4]  Edmundo de Souza e Silva,et al.  State space exploration in Markov models , 1992, SIGMETRICS '92/PERFORMANCE '92.

[5]  Nathan O. Siu.  Dynamic Approaches — Issues and Methods: An Overview , 1994 .

[6]  MengChu Zhou,et al.  Introduction to Petri Nets in Flexible and Agile Automation , 1995 .

[7]  Yves Dutuit,et al.  Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases , 1997 .

[8]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.

[9]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[10]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[11]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[12]  John C. Knight,et al.  Safety critical systems: challenges and directions , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[13]  Jean-Claude Geffroy,et al.  Design of Dependable Computing Systems , 2002, Springer Netherlands.

[14]  Dan C. Marinescu,et al.  Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models , 2002, EDCIS.

[15]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[16]  M. Konstantinidou,et al.  Comparison of techniques for accident scenario analysis in hazardous systems , 2004 .

[17]  Marc Bouissou,et al.  RELIABILITY ANALYSIS OF A DYNAMIC PHASED MISSION SYSTEM: COMPARISON OF TWO APPROACHES , 2005 .

[18]  Jean Pierre Signoret.  High-Integrity Protection Systems (HIPS): Methods and Tools for Efficient Safety Integrity Levels Analysis and Calculations , 2007 .

[19]  Curtis Smith,et al.  Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability , 2008, Reliab. Eng. Syst. Saf..

[20]  Borut Mavko,et al.  Application of the fault tree analysis for assessment of power system reliability , 2009, Reliab. Eng. Syst. Saf..

[21]  Charles E. Baukal,et al.  The John Zink Hamworthy Combustion Handbook: Volume 1 - Fundamentals , 2012 .

[22]  Philippe Thomas,et al.  Assessment of the expected number and frequency of failures of periodically tested systems , 2013, Reliab. Eng. Syst. Saf..

[23]  R. Sadiq,et al.  Analyzing system safety and risks under uncertainty using a bow-tie diagram: An innovative approach , 2013 .

[24]  Ahmed Ali Baig,et al.  Reliability Analysis Using Fault Tree Analysis: A Review , 2013 .

[25]  Faisal Khan,et al.  Dynamic safety analysis of process systems by mapping bow-tie into Bayesian network , 2013 .

[26]  P. Seetharamaiah,et al.  Modeling of Safety-Critical Systems Using Petri Nets , 2015, SOEN.

[27]  R. Sundar,et al.  Assessment of the Reliability of the Indian Tsunami Early Warning System , 2016 .