publicações selecionadas Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets