Methodes d'analyse hierarchique des reseaux de petri

par GHASSAN CHEHAIBAR

Thèse de doctorat en Sciences appliquées

Sous la direction de CLAUDE GIRAULT.

Soutenue en 1991

à Marne-la-vallée, ENPC .

    mots clés mots clés


  • Résumé

    L'objet de cette these est de definir des methodes d'analyse hierarchique des reseaux de petri (un formalisme de modelisation du controle des systemes distribues). Premierement, nous etudions la transformation de reseaux par remplacement de sous-reseaux ouverts: une notion d'equivalence est definie telle que si on remplace un sous-reseau ouvert par un reseau equivalent on obtient un reseau equivalent au reseau d'origine; puis nous definissons la classe des reseaux reentrants, pour laquelle la verification de l'equivalence, complexe en general, devient simple. Deuxiemement, l'examen de la composition de reseaux par fusion de places conduit a deux resultats: la conservation d'espace d'accueil dans certaines conditions d'independance par rapport aux places partagees, et celle de l'absence d'interblocage lors de la composition des reseaux a ressources ordonnees (dans un sens different de la solution classique). Enfin, un nouveau concept de norme pour la preuve de la propriete d'espace d'accueil est defini, muni d'operations de composition permettant une verification modulaire de cette propriete

  • Titre traduit

    Hierarchical analysis methods for petri nets


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 66 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Ecole des Ponts ParisTech (Marne-la-Vallée, Seine-et-Marne). La Source - Bibliothèque de l'Ecole des Ponts.
  • Non disponible pour le PEB
  • Cote : NS 15791
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.