Diagnose ótima de falhas de sistemas a eventos discretos modelados por autômatos finitos ponderados