Supervision des systmes de production par le rseaux de Petri stochastique

Deux principales approches de supervision par les Rseaux de Petri sauf des systmes vnements discrets sont proposes dans la littrature savoir celle des Invariants de marquage et celle de la thorie des rgions. Il est constat que de ces deux approches qu'il n'est pas vident de vrifier la contrlabilit de la spcification qui garanti la sret de bon fonctionnement. Pour y parvenir, dans ce livre nous proposons deux approches de supervision par Rseaux de Petri stochastique d'un systme de production des pices mtalliques sous la contrainte de stock. La premire approche vise vrifier la contrlabilit de la spcification par transformation du modle Rseaux de Petri stochastique en modle automate pour une application de l'algorithme de Kumar. La seconde approche vise dterminer par calcul les tats interdirent pour un meilleur fonctionnement du systme de production. Aprs application de ces deux approches il est constat que le systme supervis est optimal.