Mohaman Gonza

Deux principales approches de supervision par les R seaux de Petri sauf des syst mes v nements discrets sont propos es dans la litt rature savoir celle des Invariants de marquage et celle de la th orie des r gions. Il est constat que de ces deux approches qu'il n'est pas vident de v rifier la contr labilit de la sp cification qui garanti la suret de bon fonctionnement. Pour y parvenir, dans ce livre nous proposons deux approches de supervision par R seaux de Petri stochastique d'un syst me de production des pi ces m talliques sous la contrainte de stock. La premi re approche vise v rifier la contr labilit de la sp cification par transformation du mod le R seaux de Petri stochastique en mod le automate pour une application de l'algorithme de Kumar. La seconde approche vise d terminer par calcul les tats interdirent pour un meilleur fonctionnement du syst me de production. Apr s application de ces deux approches il est constat que le syst me supervis est optimal.

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.