Thèse soutenue

Simulation parallele de reseaux de petri stochastiques
FR  |  
EN
Accès à la thèse
Auteur / Autrice : MIGUEL CANALES REVECO
Direction : François Baccelli
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1994
Etablissement(s) : Nice

Résumé

FR

On presente ici une nouvelle approche de simulation pour les graphes d'evenements stochastiques, qui est particulierement appropriee pour une implementation sur une architecture simd. Cette approche est fondee sur des equations de recurrence, lineaires dans (r, max, +), recemment etablies pour ce type de systeme. Trois variantes sont presentees: la variante temporelle, la variante spatiale et la variante par niveaux. La variante temporelle, qui generalise pour les reseaux de petri une methode introduite pour des files d'attente, est appropriee pour la simulation de petits systemes pendant des intervalles longs. La variante spatiale permet la simulation de reseaux plus grands et le calcul simple des statistiques du processus de marquage. La variante par niveaux permet la simulation de systemes encore plus grands, mais avec l'utilisation de plus de memoire par processeur. On etudie la complexite parallele theorique des algorithmes associes a chaque variante. Quelques exemples d'interet pratique sont presentes (reseaux de files d'attente avec blocage, un modele d'atelier stochastique) pour lesquels le cout de simulation de o(nt) evenements d'un reseau de taille t, est de o(n log t) avec la variante spatiale. Avec une methode traditionnelle, le cout de simulation du meme systeme est d'au moins o(nt). Ces considerations theoriques ont ete confirmees par un prototype qui implemente la nouvelle approche sur une connection machine-2