Parallelisme et simulation des systemes a evenements discrets

par Bruno Gaujal

Thèse de doctorat en Sciences appliquées

Sous la direction de François Baccelli.

Soutenue en 1994

à Nice .

    mots clés mots clés


  • Résumé

    Le but de cette these est de montrer comment une approche algebrique permet de mieux comprendre la dynamique des systemes a evenements discrets. On va aussi montrer qu'elle permet de concevoir de nouveaux algorithmes de simulation parallele de tels systemes. On presente tout d'abord le modele reseaux de petri temporises qui va etre etudie dans la suite. On etudie ensuite une sous-classe specifique, les graphes d'evenements dont la dynamique est lineaire dans l'algebre (max, +) et on montre comment des notions structurelles definies sur le graphe de dependances associe permettent d'optimiser les parallelisations en temps et en espace de la simulation du reseau. On exhibe ensuite une classe plus generale, les reseaux a routage. On montre que la dynamique de tels reseaux est mixte, une partie etant (max, +) lineaire et une autre lineaire au sens classique. Cela permet de donner des resultats de monotonie et des conditions de stabilite de ces reseaux mais aussi une parallelisation naturelle en espace des equations d'evolution. Enfin, on montre une classe de reseaux qui ne sont plus dans le cadre reseaux de petri et on presente une nouvelle methode de simulation parallele de ces reseaux, la relaxation synchronisee qui permet d'utiliser comme dans les deux chapitres precedents l'algebre (max, +) et la parallelisation en temps et en espace

  • Titre traduit

    Parallelism and simulation of discrete event systems


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication en 1994 par [INRIA] à [Le Chesnay]

Parallélisme et simulation des systèmes à événements discrets


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 188 P.
  • Annexes : 72 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Côte d’Azur. Service commun de la documentation. Bibliothèque Sciences.
  • Accessible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1994-GAU
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.

Consulter en bibliothèque

Cette thèse a donné lieu à une publication en 1994 par [INRIA] à [Le Chesnay]

Informations

  • Sous le titre : Parallélisme et simulation des systèmes à événements discrets
  • Détails : 187 p.
  • Notes : Résumé en français et en anglais.
  • ISBN : 2-7261-0857-1
  • Annexes : Bibliogr. p. 183-187
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse\u00a0?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.