Séquences de synchronisation sur les réseaux de Petri

Dans le domaine des systèmes à événements discrets, une classe importante de problèmes de test est de déterminer l’état final après l’exécution d’une séquence de test. Ce problème a été complètement résolu dans les années 60 à l’aide des séquences de positionnement et des sequences de synchronisation pour les machines à états finis avec entrées/sorties. Dans cet article, nous proposons une première approche pour déterminer une séquence de synchronisation, si elle existe, sur les systèmes représentés par la classe de réseaux de Petri synchronisés. Nous montrons que, quel que soit le nombre de jetons du réseau, une séquence de synchronisation peut être calculée en fonction de la structure du RdP, évitant ainsi le problème d’explosion combinatoire du nombre d’états.