Make your Petri nets understandable: Reliability block diagrams driven Petri nets

Signoret JP, Leroy A. Probabilistic calculations of the production of a subsea production cluster. In: Proceeding of Safety and Reliability Society annual symposium, Southport; 1985. Kumar, 1993, Petri net modelling and reliability evaluation of distributed processing systems, Reliability Engineering and System Safety, 41, 167, 10.1016/0951-8320(93)90029-X Malhotra, 1995, Dependability modeling using Petri nets, IEEE Transactions on Reliability, 44, 428, 10.1109/24.406578 Dutuit, 1997, Dependability modelling and evaluation by using Petri nets: application to two test cases, Reliability Engineering and System Safety, 55, 117, 10.1016/S0951-8320(96)00108-1 Innal, F. Contribution to modelling safety instrumented systems and to assessing their performance – critical analysis of IEC 61508 standard. PhD thesis, University of Bordeaux; 2008. Zhang, 2008, Piecewise deterministic Markov process and dynamic reliability, Journal of Risk and Reliability, 222, 545 Sknourilova, 2008, Coloured Petri nets and a dynamic reliability problem, Journal of Risk and Reliability, 222, 635 Nemeth, 2009, Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets, Reliability Engineering and System Safety, 94, 942, 10.1016/j.ress.2008.10.012 Sadou, 2009, Reliability analysis of discrete event dynamic systems with Petri nets, Reliability Engineering and System Safety, 94, 1848, 10.1016/j.ress.2009.06.006 Distefano, 2009, Reliability and availability analysis of dependent-dynamic systems, Reliability Engineering and System Safety, 94, 1381, 10.1016/j.ress.2009.02.004 IEC 62551/Ed1. Analysis techniques for dependability – Petri net techniques, International Electrotechnical Commission, Geneva; 2012 Marsan, 1995 Jensen, 1997 Schneeweiss, W.G., Petri nets for reliability modelling, LiLOle; 1999. Girault, 2003 David, 2010 Florin, G., Natkins, S., Les réseaux de Petri stochastiques (in French), TSI, vol. 4 ; 1985. p. 143–60. Murata, T. Petri nets: properties, analysis and application. In: Proceedings of the IEEE, vol. 77; 1989. p. 541–80. Lawson, 2004 IEC 61508 ed2, 2010 IEC 61511, 2003 GRIF-Workshop; 2011, 〈http://www.grif-workshop.com/grif/module-BstoK/〉. GRIF-Workshop; 2011, 〈http://www.grif-workshop.com/grif/module-Petri12/〉. Kawauchi, 2002, A new approach to production regularity assessment in the oil and chemical industries, Reliability Engineering and System Safety, 75, 379, 10.1016/S0951-8320(01)00130-2 Lisnianski, 2003 Boiteau, 2006, The Alta-Rica data flow language in use: modeling of production availability of a multi-state system, Reliability Engineering and System Safety, 91, 747, 10.1016/j.ress.2004.12.004 Innal, 2010, A component importance measure suitable for flow transmission multi-state systems, International Journal of Performability Engineering, 7, 229