In: 91: Univ. de Paris-Sud, L.R.I. Rapport de Recherce no. 644, 02. 1991.
Abstract: Nous proposons dans cet article d' améliorer en temps et espace la construction du graphe de couverture minimal d' un réseau de Petri. L'algorithme qui le calcule ne précise pas de quelle manière les transitions franchissables sont choisies. Ainsi plusieurs constructions intermédiaires sont possibles dont certaines qui calculent des sous arbres qui seront plus tard détruits. L'algorithme proposé ici n'est pas optimal mais est d'une complexité raisonnable; on donne une idée de l'algorithme optimal en montrant que sa complexité ne justifie pas de l'utiliser. Nous appliquons cet algorithme à l'analyse d'un réseau de Petri modélisant le protocole PNCSA.