Contexte Industriel :EDF met en œuvre dans ses installations de production d’énergie des Systèmes Numériques de Contrôle-Commande (SNCC), dont on veut assurer le temps de réponse. L’évaluation de ce paramètre est réalisée par une modélisation en Réseaux de Petri Colorés Temporisés (RPCT), et leurs descriptions dans l’algèbre tropicale. Le but de ce stage est l’implémentation d’un prototype logicie ...Afficher plus