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.
ThriftBooks sells millions of used books at the lowest
everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We
deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15.
ThriftBooks.com. Read more. Spend less.