Techniques d'analyse des reseaux de petri algebriques

par LAURE PETRUCCI

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Berthelot.

Soutenue en 1991

à Paris 6 .

    mots clés mots clés


  • Résumé

    Les specifications formelles de types abstraits algebriques facilitent de travail du concepteur en lui permettant de decrire rigoureusement le systeme a etudier. Mais elles ne prennent pas en compte le parallelisme et sont destinees a valider uniquement des systemes sequentiels. Au contraire, les reseaux de petri permettent de decrire aisement des systemes paralleles, mais ne peuvent pas modeliser les structures de donnees utilisees habituellement en programmation. C'est pourquoi les reseaux algebriques furent introduits par j. Vautherin. Ils allient la puissance d'expression de types abstraits algebriques et celle des reseaux de petri. La contrepartie du pouvoir de modelisation de ces reseaux est la difficulte d'analyse. Nous nous proposons donc de fournir une batterie d'outils pour l'analyse des reseaux algebriques: semantiques en termes de modeles plus simples, composition/decomposition, invariants, graphes semi-couvrants, reductions


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 32 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.
  • Disponible pour le PEB
  • Cote : T Paris 6 1991 280
  • 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 1991
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.