Abstract FR:

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.