Modelo de sistema a eventos discretos aplicado a operações de lógica em dispositivos eletrônicos inteligentes

A necessidade do estudo e compreensão dos Sistemas a Eventos Discretos vem se tornando cada vez maior com o avanço da tecnologia mundial. Para estudar esses sistemas, são utilizadas diferentes técnicas de análise, como autômatos, redes de Petri ou cadeias de Markov. Com o objetivo de fornecer uma visão geral sobre o assunto e aplicar um dos métodos de análise, foram apresentados os principais conceitos e operações para compreensão do tema, bem como um estudo de caso, que envolve a operação de três dispositivos eletrônicos inteligentes (IEDs) utilizados para proteção e lógica de chaveamento automático de fontes em um painel de baixa tensão localizado na planta PE4 da Braskem. Através dos métodos de compreensão-modelo-verificação e do uso de software PIPE, chegou-se a um modelo final de rede hierárquica, contendo as duas camadas de aplicação. Ao final, concluiu-se que a metodologia utilizada oferece um suporte adequado para o estudo de caso proposto e que os requisitos de funcionamento foram atendidos. Também foram propostos possíveis trabalhos para continuação da pesquisa no tema.The need for study and understanding Discrete Event Systems has been increasing with the advancement of world technology. To study these systems, diferente analysis techniques are used, such as automata, Petri nets or Markov chains. In order to provide an overview of the subject and apply one of the methods of analysis, the main concepts and operations to understand the topic were presented, as well as case study, which involves the operation of three intelligent electronic devices (IEDs) used for protection and logic operation of automatic source switching of a low voltage panel located as Braskem’s PE4 plant. Through the methods of comprehension-model-verification and the use of PIPE software, a final model of hierarchical Petri net was obtained, containing the two application layers. At the end, it was concluded that the methodology used offers an adequate support for the proposed case study and that the operating requirements were met. Possible future studies were also proposed for further research on the topic