Abstract FR:

Cette these propose un formalisme unifiant les definitions et les notations utilisees par les differents chercheurs pour le calcul des flots dans les reseaux colores. A partir de cette unification, nous developpons de nouvelles techniques de calcul des flots. Nous definissons dans un premier temps un modele de reseau de haut niveau, les reseaux produits. Les reseaux produits offrent un formalisme permettant une modelisation concise et lisible des algorithmes du parallelisme. Ils sont une extension de la plupart des sous-classes definies par les auteurs. En ajoutant aux reseaux produits les fonctions a predicat, on obtient un modele contenant la classe des reseaux bien formes qui est un formalisme plus puissant que les reseaux colores. Dans un deuxieme temps, nous unifions les definitions des flots. Nous etablissons clairement la differenciation et les relations entre les deux definitions des flots utilisees (flots symboliques, flots vectoriels) et nous introduisons une definition de famille generatrice de chacun des types, en etablissant leurs relations. De l'unification des methodes, nous deduisons un algorithme general de calcul de flots. Il permet l'obtention d'une famille generatrice dans le cas general des reseaux colores. Nous appliquons cet algorithme aux reseaux commutatifs. Dans la derniere partie de cette these, nous generalisons la methode de calcul des flots d'un reseau ordonne. Nous donnons un theoreme qui permet de ramener le calcul de flots a la resolution de l'equation des flots sur un anneau quotient. Cette methode de calcul de flots nous permet de resoudre partiellement le probleme de la parametrisation et de la lisibilite pour les reseaux commutatifs en utilisant des methodes de calcul formel