Contribution a l'etude de la simulation distribuee des systemes decrits par reseaux de petri

par NABIL BEN KHALIFA

Thèse de doctorat en Sciences appliquées

Sous la direction de Alexandre Nketsa.

Soutenue en 1997

à Toulouse 3 .


  • Résumé

    Le travail presente dans cette these a consiste a etudier les differentes methodes existantes de simulation distribuee des systemes a evenements discrets et a appliquer les resultats aux systemes decrits par les reseaux de petri en tirant profit de leur structure afin de mettre en evidence le parallelisme inherent aux systemes representes. Dans ce cadre, la problematique de la decomposition d'une application est abordee, ceci permet d'assurer une adequation entre le nombre de processeurs disponibles et le nombre de processus representant le systeme a simuler. Une amelioration de l'algorithme de base de la simulation distribuee conservative est proposee et le simulateur distribue a ete realise. Cette amelioration permet de reduire considerablement le nombre de messages de controle necessaires a la synchronisation des processus. Des problemes intrinseques a la methode conservative de simulation distribuee sont abordes et des solutions performantes sont proposees. Ainsi d'une part, la detection et la resolution des inter-blocages des processus qui concourent a la simulation sont traitees. La detection de l'inter-blocage est basee sur un reseau de petri local decrivant l'etat de chaque processus. La resolution est menee simultanement avec la detection en utilisant la notion de prevision d'evolution des processus. D'autre part, la parallelisation et l'acceleration de la simulation sont obtenues en deduisant de la structure des reseaux de petri une anticipation sur les estampilles des messages de simulation echanges. Ce travail se termine par une etude comparative de la methode de simulation proposee par rapport d'une part a la simulation sequentielle et d'autre part aux autres approches conservatives de simulation.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 124 P.
  • Annexes : 63 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-BEN
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1997TOU30225
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.