Les systèmes automatisés de production sont caractérisés par leur complexité de plus en plus importante. Cette complexité se traduit par un grand nombre de variables à commander par un opérateur ne pouvant plus les visualiser simultanément de façon persistante. Ainsi, la croissance sans cesse de ce degré d'automatisation pose un problème de commande optimale fiable. Dans cet ouvrage, la synthèse du superviseur de la commande d'un système de supervision SCADA a été réalisée. Le Grafcet est utilisé comme outil de modélisation et les automates finis permettent de déterminer les états interdits dans le fonctionnement du procédé. Afin de valider et d'évaluer les performances de fiabilité et de bon fonctionnement, le logiciel AUTOMGEN 8 a permis de faire la simulation des modèles obtenus. Les résultats obtenus indiquent de bien meilleures performances.