Sujet de thèse : Approches canoniques pour la synthèse des contrôleurs réseaux de Petri Directeur(s) de thèse : REZG Nidhal ACHOUR Zied Thèse soutenue le : 22/09/2016 Situation actuelle : ATER