Formalisation d'une approche de supervision base sur le Grafcet

La mutation des systmes de production en systmes automatiss a engendr une flexibilit de la configuration des procds industriels. De ce fait, les exigences sans cesse croissantes en qualit et quantit de produits manufacturs rendent ces systmes trs complexes. L'effort humain visant superviser ces systmes consiste alors en l'laboration de programmes scuriss. D'o l'mergence de la thorie de commande par supervision de Ramadge & Wonham. Dans le soucis de contribuer l'implmentation de cette thorie dans l'industrie, la commande, dans le cadre des travaux de cet ouvrage, est obtenue en se basant sur la modlisation du systme et des spcifications l'aide du Grafcet. A cet effet, deux mthodes sont proposes: la premire est base sur l'algorithme de Kumar et la seconde utilise la mthode des invariants de marquage. Ces approches sont illustres sur un systme manufacturier.