Thèse soutenue

Une méthode efficace d'accélération de la simulation des réseaux de Petri stochastiques

FR  |  
EN
Auteur / Autrice : Robert Garnier
Direction : Yves Dutuit
Type : Thèse de doctorat
Discipline(s) : Automatique. Productique
Date : Soutenance en 1998
Etablissement(s) : Bordeaux 1

Résumé

FR

L'analyse des performances des systemes a haut niveau de surete requiert souvent l'usage de methodes de simulation, qui sont alors confrontees au probleme pose par les evenements rares. Pour contourner ce probleme, une methode d'acceleration de la simulation, denommee methode du conditionnement temporel, est proposee. Appliquee aux reseaux de petri stochastiques, elle permet, en forcant l'occurrence de certains evenements, d'augmenter la probabilite d'occurrence des evenements rares, sans induire de biais. Son efficacite est demontree sur des cas d'application issus d'etudes industrielles reelles.