Synthese de commande par supervision de procedes

Les syst?mes industriels sont complexes et la synth?se de leurs commandes supervisées se fait par des essais-erreurs. La théorie de commande par supervision des syst?mes ? événements discret (SED), initié par Ramadge et Wonham (1983) a longtemps p?ché par manque d'applicabilité d? ? la taille des mod?les manipulés et ? la "philosophie" utilisée. Dans ce travail, nous proposons une agrégation des méthodes formelles de commande par supervision ? partir d'un mod?le structurel, ? savoir le réseau de Pétri (RdP). La modélisation par RdP s'adaptent ? l'environnement industriel au moyen des transitions (capteurs, boutons) et des places (états). Notre méthode de synth?se de commande par supervision vérifie par sa construction les spécifications imposées au procédé. L'utilisation de la méthode des invariants de place du RdP a permis d'obtenir des mod?les structurels de commande supervisée d'une meunerie locale. Ces mod?les RdP supervisés ont été implémentés dans une application de supervision industrielle. Les résultats obtenus témoignent de la nécessité de développer une méthode structurelle de synth?se.