Dans cet article, nous présentons une approche de diagnostic d’un réseau de Petri partiellement observable basée sur une formalisation des indicateurs de fautes exprimées sous une forme algébrique (min, max, +). Les fautes sont modélisées par certaines transitions non observables et l’occurence d’une faute est équivalente au franchissement de la transition associée. L’algorithme d’élimination de Fourier-Motzkin est appliqué hors-ligne pour la génération des indicateurs de fautes utilisés pour le diagnostic en-ligne dans un temps polynomial. L’approche permet d’anticiper sur l’état du système (défaillant, non-défaillant, incertain) pour chaque transition observée de l’observation. Une comparaison avec la technique de diagnostic, utilisant la programmation linéaire, permet de montrer l’efficacité de notre approche. Le système de diagnostic se présente sous la forme d’un module opérant en parallèle avec l’approche classique.