Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511 (2012)
- Authors:
- USP affiliated authors: MIYAGI, PAULO EIGI - EP ; SANTOS FILHO, DIOLINO JOSE DOS - EP ; JUNQUEIRA, FABRÍCIO - EP
- Unidade: EP
- Subjects: REDES NEURAIS; FALHAS COMPUTACIONAIS; REDES DE PETRI
- Language: Inglês
- Imprenta:
- Publisher: ABCM
- Publisher place: Rio de Janeiro
- Date published: 2012
- Source:
- Título do periódico: ABCM Symposium Series in Mechatronics
-
ABNT
SQUILLANTE JUNIOR, Reinaldo et al. Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511. ABCM Symposium Series in Mechatronics. Tradução . Rio de Janeiro: ABCM, 2012. . Disponível em: https://repositorio.usp.br/directbitstream/592d8db7-eb69-454a-9339-8969168b1b8d/JunqueiraF-2012-Mathematical%20method%20for%20modeling%20and%20validating%20ok.pdf. Acesso em: 24 abr. 2024. -
APA
Squillante Junior, R., Santos Filho, D. J. dos, Martínez Riascos, L. A., Junqueira, F., & Miyagi, P. E. (2012). Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511. In ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/592d8db7-eb69-454a-9339-8969168b1b8d/JunqueiraF-2012-Mathematical%20method%20for%20modeling%20and%20validating%20ok.pdf -
NLM
Squillante Junior R, Santos Filho DJ dos, Martínez Riascos LA, Junqueira F, Miyagi PE. Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511 [Internet]. In: ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM; 2012. [citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/592d8db7-eb69-454a-9339-8969168b1b8d/JunqueiraF-2012-Mathematical%20method%20for%20modeling%20and%20validating%20ok.pdf -
Vancouver
Squillante Junior R, Santos Filho DJ dos, Martínez Riascos LA, Junqueira F, Miyagi PE. Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511 [Internet]. In: ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM; 2012. [citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/592d8db7-eb69-454a-9339-8969168b1b8d/JunqueiraF-2012-Mathematical%20method%20for%20modeling%20and%20validating%20ok.pdf - Controle de sistemas de manufatura baseado em alocação de funcionalidades
- Service composition modeling using interpreted Petri net for system integration
- Modelagem e simulação de rupturas de cadeias de suprimentos baseados em rede de Petri
- Collaborative control model for multifunctional machine tools enviroment
- Projeto de sistema ativo de controle holônico para sistemas produtivos
- Control architecture and design method of reconfigurable manufacturing systems
- Description of productive processes in a collaborative environment
- A systematical approach to expose manufacturing system as a service
- A transcription tool from petri net to clp programming languages
- Modeling and analysis of global supply chain disruption based on Petri net
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
JunqueiraF-2012-Mathemati... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas