Résumé en français

La conception à base de composants est une méthode bien connue, quoique diverse, pour gérer la complexité toujours croissante des systèmes informatiques et industriels. Cependant, dans le contexte de l’évaluation de performances des systèmes à événements discrets, cette approche reste difficile à appliquer. Dans cet article, nous appliquons les résultats théoriques précédents sur la résolution des réseaux de Petri stochastiques bien formés (RdPSBF) décomposables qui sont un modèle de réseau de Petri stochastique de haut niveau. Nous présentons d’abord une implantation expérimentale de la résolution pour les décompositions synchrones et asynchrones. Nous montrons ensuite que les systèmes répartis, par exemple architecturés dans un cadre CORBA, ainsi que les systèmes manufacturiers séquentiels peuvent être analysés avec nos modèles. Notre implantation nous permet d’analyser à l’équilibre des systèmes de plusieurs millions d’états.