Soutenance de thèse

Mohamed BOUALI

Analyse formelle et diagnostic des modèles Réseaux de Petri Colorés avec l’accessibilité arrière

Le lundi 21 décembre à 10h en L103

Membres du Jury :

• Jean-François AUBRY, Professeur des Universités, Institut National Polytechnique de Lorraine, Nancy
• Kamel BARKAOUI, Professeur des Universités, Conservatoire National des Arts et Métiers, Paris
• Jean-Marc THIRIET, Professeur des Universités, Université Joseph Fourier, Grenoble
• Philippe BONNIFAIT, Professeur des Universités, Université de Technologie de Compiègne
• Walter SCHÖN, Professeur des Universités, Université de Technologie de Compiègne (directeur de thèse)
• Pavol BARGER, Maître de Conférences, Université de Technologie de Compiègne (directeur de thèse)