Cet article traite de l'estimation de l'état courant dans les Réseaux de Petri Synchronisés Temporisés Labellisés, une sous-classe des Réseaux de Petri Synchronisés Temporisés avec Sorties. Pour représenter l'espace d'états, un Graphe de Classes Synchronisé est introduit, puis transformé en un Automate de Classes d'états à Intervalles, un automate fini dans lequel le temps continu est abstrait au moyen d'événements discrets appelés ticks. Un algorithme de construction d'un observateur pour cette classe d'automates est proposé, permettant de déterminer l'état courant du système à partir de séquences d'observations temporisées. Cette approche offre une base formelle pour des applications allant de la commande à la vérification et à la détection de fautes dans les systèmes à événements discrets temporisés.


