Modelisation des systemes concurrentes ; methodes structurelles et semantiques dans l'algebre des reseaux de petri de haut niveau

par ROBERT-CHRISTOPH RIEMANN

Thèse de doctorat en Sciences et techniques

Sous la direction de ELISABETH PELZ.

Soutenue en 1999

à PARIS 11, ORSAY .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Cette these concerne la specification et modelisation des systemes concurrentes par des reseaux de petri de haut niveau. Tout d'abord nous proposons une generalisation des m-nets, une algebre de reseaux de petri etiquete de haut niveau par une parametrisation qui permet de prendre en compte le comportement d'environnement dans lequel un m-net est execute. La preservation des proprietes essentielles pour l'extension de l'algebre est montree et une caracterisation d'une relation d'equivalence importante du modele est obtenue par la donnee d'un ensemble de regles de transformation. Comme principale nouveaute nous presentons un operateur de raffinement general et en l'etendant un operateur de recursion generale pour les m-nets. Les operation ne demandent de restrictions ni sur l'entourage des transitions a raffiner, ni sur les reseaux raffinants. Plusieurs proprietes de ces operateurs comme la validite, la commutativite par rapport au depliage des m-nets vers les reseaux de petri de bas niveau et leur raffinement sont prouvees, ainsi que quelques proprietes sur des applications successives et enchainees. Les operateurs habituels de composition de reseau peuvent etre synthetises a partir du raffinement general et l'application de l'operation hierarchique dans la semantique des procedures d'un langage de programmation concurrente est illustree.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 287 p.
  • Annexes : 165 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible 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 : TH2014-014403
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.