Fault Diagnosis Graph of time Petri nets | Publicación