La détection latente comme méthode d’abstraction des Réseaux Petri colorés pour le diagnostique d’erreurs des systèmes complexes. Ontare, v. 3, n. 1, p. 97–124, 30 oct.2015.