publicações SURVEILLANCE ET DIAGNOSTIC DES PHASES TRANSITOIRES DES SYSTEMES HYBRIDES BASES SUR L?ABSTRACTION DES DYNAMIQUES CONTINUES PAR RESEAU DE PETRI TEMPOREL FLOU Documento