Os conceitos de Sistemas a Eventos Discretos (SED) vêm sendo amplamente utilizados na modelagem de sistemas de informação, cadeias produtivas, gestão de processos, sistemas elétricos, sistemas bioquímicos e malhas logísticas, apoiando os processos de planejamento e gerenciamento desses sistemas. Dentre as técnicas de modelagem de SED, as redes de Petri se destacam por propiciarem uma definição compacta de um sistema, de fácil representação gráfica, por não apresentarem explicitamente todo o espaço de estados do sistema modelado, e também por permitirem a sua simulação e análise da operação em ambiente controlado. Este trabalho propõe uma solução para o problema de detecção e diagnóstico de falhas em sistemas reais a partir da simulação desses sistemas, utilizando técnicas de modelagem baseadas em redes de Petri para a implementação de um sistema especialista de diagnóstico de falhas automatizado (diagnosticador)