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

Dans la 1 re partie de ce livre, est propos un mod le RdPSG (R seaux de Petri Stochastique G n ralis ) pour le r seau de files d'attente capacit limit e M/M/1/k1 ]1 → M/M/1/k2 +1]. A partir de ce mod le, est obtenu le g n rateur infinit simal de la cha ne de Markov temps continu (CMTC) sous-jacente et les indices de performances. La 2 me partie de ce livre est consacr e l' tude des syst mes 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 propos e a donn une repr sentation graphique d taill e et a permis d'obtenir les matrices de transitions des cha nes de Markov induites (IMC) sous-jacentes et les indices de performances. Dans la 3 me partie, pour la premi re fois est prouv e l'applicabilit de la m thode de stabilit forte aux RdPSG. Comme premi re tentative, est consid r le RdPSG infini associ au syst me d'attente classique M/M/1. Des algorithmes sont tablis pour le calcul num rique de la distribution stationnaire de la CTMC et l'IMC et pour le calcul des indices de performances avec des exemples num riques illustratifs.