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. REVISTA DE INVESTIGACIÓN DE LA FACULTAD DE INGENIERÍA

Les ateliers spécialisés dans la réparation de plaques et la peinture autombiles ont une obligation de qualité envers leur Cet article présente la formalisation mathématique des Ré-seaux de Petri de type Hybrides et Colorés pour la Détec-tion Latente d’Erreurs (DLE) comme méthode d’abstraction du diagnostique d’erreurs appelé: Réseaux de Petri de type Hybride et Colorés pour le Diagnostique d’Erreurs (RPHC-DE). Nous démontrerons par ailleurs la capacité accrue de synthèse et modelage lors de l’isolement et du diagnos-tique d’erreurs dans les systèmes complexes. Finalement ce travail présentera un exemple pratique d’application de la méthode utilisant des réservoirs liquides.