La mutation des systèmes de production en systèmes automatisés a engendré une flexibilité de la configuration des procédés industriels. De ce fait, les exigences sans cesse croissantes en qualité et quantité de produits manufacturés rendent ces systèmes très complexes. L'effort humain visant à superviser ces systèmes consiste alors en l'élaboration de programmes sécurisés. D'où l'émergence de la théorie de commande par supervision de Ramadge & Wonham. Dans le soucis de contribuer à l'implémentation de cette théorie dans l'industrie, la commande, dans le cadre des travaux de cet ouvrage, est obtenue en se basant sur la modélisation du système et des spécifications à l'aide du Grafcet. A cet effet, deux méthodes sont proposées: la première est basée sur l'algorithme de Kumar et la seconde utilise la méthode des invariants de marquage. Ces approches sont illustrées sur un système manufacturier.