“…The SIS reliability may be analyzed by approximation formulas (IEC 61508, 1997), fault tree analysis (Misumi & Sato, 1999), reliability block diagrams (Guo & Yang, 2007;Rausand & Høyland, 2004), Markov models (Bukowski, 2006;Langeron, Barros, Grall, & Berenguer, 2008), and Bayesian methods (Yun, Rogers, & Mannan, 2009). More recently, Petri nets have also been introduced to model the SIS reliability (Dutuit, Innal, Rauzy, & Signoret, 2008).…”