Ce mémoire présente une nouvelle implémentation de l'algorithme de synthèse de contrôleurs pour les systèmes à événements discrets proposé par Barbeau et al. Cette nouvelle implémentation tient compte des composantes actives ...