Les réseaux de Petri : un outil adapté à la modélisation des systèmes hybrides

Les reseaux de Petri permettent de modeliser des systemes a evenements discrets de tout genre. Leur nature graphique et les nombreux resultats mathematiques les concernant en font un outil de modelisation et d'analyse tres puissant. En affinant la methode, on peut adapter le modele a d'autres cas d'automatisation. Le reseau de Petri temporise convient a l'evaluation quantitative. Lorsque celui-ci contient un grand nombre de marquages, le nombre d'etats accessibles peut devenir tellement important que les durees de simulations deviennent tres longues. On utilise alors un reseau de Petri continu. Ce dernier constitue soit une approximation d'un modele discret, soit modelise un systeme continu. Enfin, pour prendre en compte des comportements booleens, le modele reseau de Petri hybride est compose d'une partie discrete et d'une partie continue