La modélisation au moyen des réseaux de petri stochastiques : application aux systèmes informatiques fortement synchronisés

Modelling using stochastic petri nets: application to strongly synchronized computer systems

• Auteur / Autrice : Eric Gressier-Soudan
• Direction : Stéphane Natkin
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1987
• Etablissement(s) : Paris, CNAM

Résumé

Notre travail contribue à montrer l'importande des rdps au moyen d'exemples de modélisation issus du domaine industriel. Pour ces exemples, les techniques d'évaluation de performance habituelles, comme les réseaux de files d'attente, ou les processus semi-markoviens, sont mal adaptées. Les exemples etudiés sont: 1) la comparaison de stratégies d'ordonnancement de tâches, 2) l'évaluation d'ethernet, protocole tres utilisé dans les réseaux locaux, 3) la validation d'une architecture de reseau local industriel (arlic). Nous appelons modélisation extensive, l'approche qui consiste à décrire en un seul modèle rdps fermé tous les états et changements d'état d'un système. C'est la seule méthode employée jusqu'à maintenant. La conduite des études précédentes nous a amené, sur le plan pratique à dégager une méthodologie de modélisation au moyen des rdps et sur le plan théorique à développer des méthodes approximatives pour pallier les insuffisances de la modélisation extensive. Cette dernière entraine, dans de nombreux cas pratiques, l'explosion combinatoire de l'espace d'etats des modeles. Comme pour certaines techniques approximatives utilisées dans les réseaux de files d'attente quand il n'est pas possible d'obtenir des solutions exactes, nous avons proposé des méthodes fondées sur le découpage d'un modèle rdps en sous-modèles. Nous nous sommes servis d'une méthode d'isolation quand les interactions entre partitions d'un modèle peuvent être estimées par une fonction simple ne dépendant que du nombre de partitions et de paramètres exogenes. à cause de la complexité des interactions entre sous-modèles, la méthode précédente ne s'applique pas toujours. Nous avons alors proposé, pour les modèles rdps dont les contraintes de synchronisation s'expriment en terme de schemas de production-consommation, des conditions de partitionnement et un algorithme de type point fixe qui permettent le calcul approché de la