Modelisation, Analyse de Performances Et Stabilite Forte de Systemes d'Attente Via l'Outil Des Reseaux de Petri Stochastiques

Dans la 1re partie de ce livre, est propos un modle RdPSG (Rseaux de Petri Stochastique Gnralis) pour le rseau de files d'attente capacit limite [M/M/1/k1 +1 M/M/1/k2 +1]. A partir de ce modle, est obtenu le gnrateur infinitsimal de la chane de Markov temps continu (CMTC) sous-jacente et les indices de performances. La 2me partie de ce livre est consacre l'tude des systmes semi-markoviens avec rappels et source finie M/G/1/N/N et M/G/1/N/N avec recherche orbitale l'aide des RdPSG. L'approche propose a donn une reprsentation graphique dtaille et a permis d'obtenir les matrices de transitions des chanes de Markov induites (IMC) sous-jacentes et les indices de performances. Dans la 3me partie, pour la premire fois est prouve l'applicabilit de la mthode de stabilit forte aux RdPSG. Comme premire tentative, est considr le RdPSG infini associ au systme d'attente classique M/M/1. Des algorithmes sont tablis pour le calcul numrique de la distribution stationnaire de la CTMC et l'IMC et pour le calcul des indices de performances avec des exemples numriques illustratifs.