Diagnose de falhas para uma classe de Redes de Petri

Abstract

Neste artigo, um método de diagnóstico de falhas para Sistemas a Eventos Discretos (SEDs) modelados por uma classe de redes de Petri rotuladas (RPRs) é proposto. É suposto que algumas transições da rede de Petri são não observáveis, incluindo as transições de falha. O método de diagnóstico é baseado na construção de uma RPR a partir do modelo do comportamento livre de falha do sistema, chamada de rede de Petri do comportamento observável (RPCO), cujas transições são todas observáveis, e cuja linguagem gerada é igual à linguagem observada do modelo livre de falha do sistema. O número de lugares e transições da RPCO é sempre menor ou igual ao número de lugares e transições do modelo do sistema em redes de Petri. Um estudo de caso é apresentado para ilustrar o método proposto.