Extension des methodes de calcul de flots pour les reseaux de petri de haut niveau. Application a la validation d'algorithmes distribues

par Jean-Michel Couvreur

Thèse de doctorat en Sciences appliquées

Sous la direction de CLAUDE GIRAULT.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 30 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.