« La détection latente comme méthode d’abstraction des Réseaux Petri colorés pour le diagnostique d’erreurs des systèmes complexes ». 2015. Ontare 3 (1): 97-124. https://doi.org/10.21158/23823399.v3.n1.2015.1252.