Le problème de couverture pour les réseaux de Petri
Les deux ingrédients principaux de l'algorithme de Karp et Miller sont : la construction d'un arbre d'accessibilité, d'une part, et une fonction d'accélération ...Télécharger Le problème de couverture pour les réseaux de Petri pdf