Supervision de système de production par réseau de Petri stochastique

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.