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

Reliability Engineering and System Safety

Volumn 113, Issue 1, 2013, Pages 61-75

  Signoret, Jean Pierre ^a   Dutuit, Yves ^b   Cacheux, Pierre Joseph ^c   Folleau, Cyrille ^d   Collas, Stéphane ^c   Thomas, Philippe ^d  

^a TOTAL Technology Specialist   (France)

^b TOTAL Professor Associates   (France)

^c CSTJF   (France)

^d SATODEV   (France)

Author keywords

Assertion; Flow diagram; Petri nets; Predicate; Reliability block diagrams; SIS

Indexed keywords

FLOWCHARTING;

ASSERTION; FLOW DIAGRAM; PREDICATE; RELIABILITY BLOCK DIAGRAMS; SIS;

PETRI NETS;

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

References (27)

1. 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.
2. V Kumar, and K. Aggarwal Petri net modelling and reliability evaluation of distributed processing systems Reliability Engineering and System Safety 41 1993 167 176
3. A. Malhotra, and K.S. Trivedi Dependability modeling using Petri nets IEEE Transactions on Reliability 44 1995 428 440
4. Y. Dutuit, E. Châtelet, J.P. Signoret, and P. Thomas Dependability modelling and evaluation by using Petri nets: application to two test cases Reliability Engineering and System Safety 55 1997 117 124 (Pubitemid 127380848)
5. 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.
6. H. Zhang, F. Dufour, Y. Dutuit, and K. Gonzales Piecewise deterministic Markov process and dynamic reliability Journal of Risk and Reliability 222 2008 545 552
7. P. Sknourilova, and R. Bris Coloured Petri nets and a dynamic reliability problem Journal of Risk and Reliability 222 2008 635 642
8. E. Nemeth, T. Bartha, Cs Fazekas, and K.M. Hangos Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets Reliability Engineering and System Safety 94 2009 942 953
9. N. Sadou, and H. Demmo Reliability analysis of discrete event dynamic systems with Petri nets Reliability Engineering and System Safety 94 11 2009 1848 1861
10. S. Distefano, and A. Puliafito Reliability and availability analysis of dependent-dynamic systems Reliability Engineering and System Safety 94 NO 9 2009 1381 1393
11. IEC 62551/Ed1. Analysis techniques for dependability - Petri net techniques, International Electrotechnical Commission, Geneva; 2012
12. M.A. Marsan, G. Balbo, G. Conte, S Donatelli, and G. Franceshinis Modelling with generalized stochastic Petri nets. Wiley series in parallel computing 1995 John Wiley and Sons
13. K. Jensen Coloured Petri nets: basic concepts, analysis, methods and practical use 1997 Springer
14. Schneeweiss, W.G., Petri nets for reliability modelling, LiLOle; 1999.
15. C. Girault, and R. Valk Petri nets for systems engineering 2003 Springer
16. R. David, and H. Alla Discrete, continuous, and hybrid Petri nets 2nd edition 2010 Springer
17. Florin, G., Natkins, S., Les réseaux de Petri stochastiques (in French), TSI, vol. 4; 1985. p. 143-60.
18. Murata, T. Petri nets: properties, analysis and application. In: Proceedings of the IEEE, vol. 77; 1989. p. 541-80.
19. M.V. Lawson Finite automata 2004 Chapman & Hall/CRC
20. IEC 61508 ed2 Functional Safety of electrical/electronic/programmable electronic safety-related systems. Part 1-7 2010 International Electrotechnical Commission Geneva, Switzerland
21. IEC 61511 Functional safety - safety instrumented systems for the process industry sector (Parts 1-3) 2003 International Electrotechnical Commission Geneva
22. GRIF-Workshop; 2011, 〈http://www.grif-workshop.com/grif/module- BstoK/〉.
23. GRIF-Workshop; 2011, 〈http://www.grif-workshop.com/grif/module- Petri12/〉.
24. Y. Kawauchi, and M. Rausand A new approach to production regularity assessment in the oil and chemical industries Reliability Engineering and System Safety 75 2002 379 388 (Pubitemid 34182060)
25. A. Lisnianski, and G. Levitin Multi-state systems reliability: assessment, optimization and applications 2003 World Scientific New-Jersey
26. M. Boiteau, Y. Dutuit, A. Rauzy, and J.P. Signoret The Alta-Rica data flow language in use: modeling of production availability of a multi-state system Reliability Engineering and System Safety 91 2006 747 755
27. F. Innal, and Y. Dutuit A component importance measure suitable for flow transmission multi-state systems International Journal of Performability Engineering 7 2010 229 240