Diagnose de falhas em tempo real de sistemas a eventos discretos modelados por redes de Petri rotuladas utilizando redes de Petri rotuladas com prioridades

Abstract

O problema da diagnose de falha em sistemas a eventos discretos consiste na capacidade de se detectar e isolar a ocorrência de eventos de falha. Neste artigo, será proposto um algoritmo para construir uma rede de Petri diagnosticadora rotulada com prioridades a partir da rede de Petri do sistema a ser diagnosticado, cujas transições são rotuladas apenas por eventos observáveis e cujos estados alcançáveis possuem informações necessárias para que o diagnosticador possa ter certeza da ocorrência de falha. Assim como em trabalhos em anteriores, supõe-se que a rede de Petri do sistema a ser diagnosticado não possui ciclos envolvendo lugares e transições não observáveis. Além disso, para uma classe de redes de Petri, o diagnosticador proposto terá uma estrutura que não crescerá indefinidamente em decorrência das observações de eventos, fazendo com que o diagnosticador aqui proposto seja capaz de executar o diagnóstico online de classes de redes de Petri que trabalhos anteriores somente são capazes de diagnosticar com estruturas passíveis de crescimento indefinido para determinadas sequências de observações de eventos.