N. R. Adam, V. Atluri, and W. Huang, Modeling and analysis of workflows using Petri nets, Journal of Intelligent Information System, pp.131-158, 1998.

A. Badreddine and N. Ben-amor, A New Approach to Construct Optimal Bow Tie Diagrams for Risk Analysis, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems. [S.l.]: [s, pp.595-604, 2010.
DOI : 10.1016/0004-3702(86)90072-X

C. Chen and J. Dai, Design and high-level synthesis of hybrid controller, Proc. of IEEE Conference, 2004.

H. J. Cruz-campa and M. J. Cruz-gomes, Determine SIS and SIL using HAZOPS, Process Safety Progress, vol.29, issue.1, 2009.
DOI : 10.1002/prs.10293

J. Ferreira, L. Ribeiro, M. Onori, and J. Barata, Challenges and Properties for Bio-inspiration in Manufacturing, Proceedings of the 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, pp.139-148, 2014.
DOI : 10.1007/978-3-642-54734-8_16
URL : https://hal.archives-ouvertes.fr/hal-01274764

W. M. Goble, Control Systems Safety Evaluation & Reliability " . ISA -The Instrumentation, Systems and Automation Society, 1998.

R. Hamadi and B. A. Benatallah, A Petri net-based model for web service composition, Proceedings of the 14th Australasian Database Conference (ADC´03), 0200.

K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Paractical Use, 1997.

E. E. Lewis, J. Ed, and . Wiley&sons, Introduction to Reliability Engineering, 1995.

. Mazzolini, . Brusaferri, and E. Carpanzano, An integrated framework for Model-based Design and Verification of discrete automation solutions, 2011 9th IEEE International Conference on Industrial Informatics, pp.545-550
DOI : 10.1109/INDIN.2011.6034938

M. Modarres, M. Kaminskiy, and V. Krivstov, Reliability Engineering and Risk Analysis: a practical guide, 2010.

R. A. Morales, J. I. Garcia-melo, and P. E. Miyagi, Diagnosis and Treatment of Faults in Productive Systems based on Bayesian Networks and Petri Net, 2007 IEEE International Conference on Automation Science and Engineering, pp.357-362, 2007.
DOI : 10.1109/COASE.2007.4341823

M. G. Nassar, J. I. Melo, P. E. Miyagi, and D. Santos-filho, Modeling and Analysis of the Material Entry Flow System in a Pickling Line Process using Petri Net, ABCM Symposium Series in Mechatronics, pp.444-453, 2008.

B. Peters, P. Perez, J. Soares, and D. Thomaz, Risk Analysis and management based on the performance of safety barriers: case study: fixed platform Polvo A, IBP Rio Oil & Gas Expo and Conference, 2016.

M. Rausand, Risk Assessment: theory, methods, and applications " . 1, 2011.
DOI : 10.1002/9781118281116

Y. Ru and C. Hadjicosts, Fault Diagnosis in Discrete Event Systems Modeled by Petri Nets with Outputs, Proceedings of the 9th International Workshop on Discrete Event Systems, 2008.

L. R. Sampaio, Validação Visual de Programas Ladder Baseada em Modelos, 2011.

S. Filho and D. J. , Aspectos do Projeto de Sistemas Produtivos, Tese de Livre Docência - Escola Politécnica da USP. São Paulo, 2000.

M. Sallak, C. Simon, and J. Aubry, A Fuzzy Probabilistic Approach for Determining Safety Integrity Level, IEEE Transactions on Fuzzy Systems, vol.16, issue.1, pp.239-248, 2008.
DOI : 10.1109/TFUZZ.2007.903328
URL : https://hal.archives-ouvertes.fr/hal-00167486

S. Sklet, Safety barriers: Definition, classification, and performance, Journal of Loss Prevention in the Process Industries, vol.19, issue.5, pp.494-506, 2006.
DOI : 10.1016/j.jlp.2005.12.004

J. A. Souza, D. J. Santos-filho, R. Squillante-jr, F. Junqueira, and P. E. Miyagi, Mitigation Control of Critical Faults in Production Systems, IFIP Advances in Information and Communication Technology, pp.119-128, 2014.
DOI : 10.1007/978-3-642-54734-8_14
URL : https://hal.archives-ouvertes.fr/hal-01274943

J. A. Souza, D. J. Santos-filho, P. E. Miyagi, J. R. Silva, L. A. Moscato et al., Coloured Petri Nets for Implementation of Safety Instrumented Systems in Critical Production Systems, CLCA´16 17th Latin American Conference on Automatic Control, pp.27-33, 2016.

S. Jr, R. Santos-filho, D. J. Souza, J. A. Junqueira, F. Miyagi et al., Safety in Supervisory Control for Critical Systems, IFIP International Federation for Information Processing, pp.261-270, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01348763

A. Summers and G. Raney, Common cause and common sense, designing failure out of your safety instrumented systems (SIS), ISA Transactions, vol.38, issue.3, pp.291-299, 1999.
DOI : 10.1016/S0019-0578(99)00017-8

A. Villemeur, Reliability, Availability, Maintainability and Safety Assessment, 1992.

X. Wang, G. Chen, Y. Xie, and Z. Guo, Fault Detection and Diagnosis Based on Time Petri Net, Proceedings of 8th International Conference on Eletronic Measurement and Instruments, 2008.

B. Wu, L. Xi, and B. H. Zhuo, Service-oriented communication architecture for automated manufacturing system integration, International Journal of Computer Integrated Manufacturing, vol.4, issue.5, pp.599-615, 2008.
DOI : 10.1007/s00170-004-2272-7

Y. Zhang and J. Jiang, Bibliographical review on reconfigurable fault-tolerant control systems, Annual Reviews in Control, vol.32, issue.2, pp.229-252, 2008.
DOI : 10.1016/j.arcontrol.2008.03.008

R. Zurawski and M. Zhou, Petri nets and industrial applications: A tutorial, IEEE Transactions on Industrial Electronics, vol.41, issue.6, pp.567-583, 1994.
DOI : 10.1109/41.334574
URL : http://www.utdallas.edu/~htj041000/phd/PNs_and_Industrial_Applications.pdf