Commandes à réseaux de Petri :Modélisation

La modelisation par reseau de Petri permet la representation de systemes a evenements discrets presentant des evolutions brutales de leurs variables d’etat, donc toute application a caractere distribue, le cas notamment des systemes automatiques, systemes de commande et protocoles de communication. L’utilisation de cet outil debute par la modelisation de la commande a realiser avec analyse du modele developpe, la commande modelisee est ensuite executee. Cet article traite de la premiere etape.