Précédent : Supervision des systèmes de production Remonter : Les réseaux de Petri Suivant : Sensibilité des réseaux de Petri

Vérification de l'absence de blocage dans les réseaux de Petri

Participant : Xiaolan Xie

Notre approche est basée sur la notion structurale de siphons. Au cours des années précédentes, nous avons montré qu'il est possible de vérifier l'absence de blocage des réseaux de Petri à l'aide des siphons, des trappes et de la programmation linéaire. Malheureusement, cette approche nécessite l'énumération des siphons dont le nombre croît de manière exponentielle lorsque le nombre de places augmente. Elle ne peut donc pas traiter les réseaux de Petri de grande taille.

Afin de vérifier si les réseaux de Petri de grande taille sont sans blocage, nous avons montré qu'un siphon peut être caractérisé à l'aide d'un système linéaire en variables 0-1. Cela nous a permis de transformer le problème de vérification de l'absence de blocage en un problème de programmation mathématique pour un réseau de Petri général, et en un problème de programmation linéaire en variables mixtes pour un réseau de Petri structurellement borné. A l'aide d'un logiciel commercial d'optimisation, nous avons pu analyser des réseaux de Petri de 200 places et 200 transitions en moins d'une minute CPU sur une station de travail.