L'accessibilité dans les réseaux de Pétri : une approche basée sur la programmation par contraintes

Le probleme de l'accessibilite est d'un grand interet theorique. En effet, plusieurs problemes relatifs a l'analyse des reseaux de Petri peuvent etre formules en terme d'accessibilite. L'exploration du graphe d'accessibilite n'est pas une methode de resolution satisfaisante du fait de l'explosion combinatoire. La notion de marquage partiel, permet de reduire cet explosion combinatoire. Les marquages partiels sont des marquages dont les composantes contiennent des variables contraintes. Ainsi, un marquage partiel represente un ensemble de marquages obtenus en instanciant les variables tout en respectant la contrainte qui les lie. De la meme facon, un step partiel est un step non-clos et denote ainsi un ensemble de steps. Le tir d'un step partiel a partir d'un marquage partiel capture le tir de n'importe quel step a partir d'un marquage quelconque represente par le marquage partiel. Nous montrons que la recherche de l'accessibilite d'un marquage peut etre reduit a une recherche d'un marquage donne dans une sequence de marquages partiels.