3e Conférence Francophone de MOdélisation et SIMulation «Conception, Analyse et Gestion des Systèmes Industriels»

MOSIM’01 – du 25 au 27 avril 2001 – Troyes (France)

SYSTÈME DE FILE D’ATTENTE M/M/m/FIFO/N/F

À TEMPS DE SERVICE INDIVIDUEL
Boguslaw FILIPOWICZ, Krystyna IDZIKOWSKA

Faculté d’Automatique
Academie des Mines et de la Métallurgie
Institut d’Automatique
al. Mickiewicza 30, 30-059 Cracovie, Pologne
tel/fax 048 012 634 15 68
filip@ia.agh.edu.pl, idzi@ia.agh.edu.pl

RÉSUMÉ : Dans l’article nous avons présenté le modèle de file d’attente fermé à temps de service individuel. Ce
modèle peut être utilisé dans la théorie de fiabilité, pour l’analyse et l’évaluation d’efficacité par exemple dans
l’administration, dans le service militaire et le service de la santé, étc.

MOTS-CLÉS : File d’attente fermé, Service individuel

1. INTRODUCTION et désignons par

m – le nombre des serveurs
Le but principal de notre travail est de présenter un N - le nombre des machines
nouveau modèle d’analyse des systèmes de files λ - le taux d’entrées
d’attentes fermés ayant les caractéristiques individuelles µ i - les taux de services 1 < i ≤ m
des serveurs. Les modèles clasiques d’analyse sont Tout d’abord nous allons analyser les deux systèmes
uniquement appliqués si les temps de services de canaux particuliérs: M/M/2/FIFO/N/F et M/M/3/FIFO/N/F à
différent très peu. En pratique, cette situation n’apparait temps de service individuel. Ensuite nous allons
généraliser les résultats obtenus pour le système
presque jamais. Dans ce cas, l’application des modèles
M/M/m/FIFO/N/F.
classiques cause certains problèmes.
Introduisons les quantités définies par les formules 2. SYSTÈME M/M/2/FIFO/N/F À TEMPS DE
suivantes: SERVICE INDIVIDUEL
On considère un système fermé M/M/2/FIFO/N/F avec
λ
ρi = , i = 1,2,...., m (1a) deux serveurs de taux différents µ1 et µ 2 . Les états
µi
possibles du système sont: E0 – aucun canal n’est occupé
(aucune demande n’attend), E1,1 – un canal est occupé,
m (canal no 1), E1,2- un canal est occupé, (canal no 2), E2, -
µ = ∑ µi (1b) deux canaux sont occupés,..., Ek - deux canaux sont
i =1 occupés, (k–2) demandes attendent (2<k<N) ,..., EN -
deux canaux sont occupés, (N–2) demandes attendent.
λ Les probabilités que le système étudié est dans l’état: E0,
ρ= (1c) E11, E12, E2, ....Ek, ... , EN sont égales respectivement p0,
m
∑ µi p11, p12, p2, ....pk, ... ,. pN. Le schéma des transitions
i =1 possibles est donné sur la figure 1.

N
 E11
2
N  1


N  2
 (N–3)  (N–k+1)  (N–k)  2 

E0  1 N
2
E2 E3 Ek EN–1 EN

2 N  1
      

 2
 1
E12

Figure 1. Diagramme des transitions pour le système M/M/2/FIFO/N/F à temps individuel de service

- 647 -
 MOSIM’01-du 25 au 27 avril 2001 – Troyes (France)

En utilisant la régle mnémotechnique pour le graphe presenté sur la figure 1, nous obtenons en état
stationnaire, le système d’équations algébriques (2).
− Nλp0 + µ1 p11 − µ 2 p12 = 0
La condition de normalisation est presentée par la
0,5 Nλp 0 − [( N − 1)λ + µ1 ] p11 + µ 2 p 2 = 0 formule:
0,5 Nλp 0 − [( N − 1)λ + µ 2 ] p12 + µ1 p 2 = 0
N
( N − 1)λp11 + ( N − 1)λp12 − {( N − 2)λ + µ ] p 2 + µp3 = 0
∑ pi =1 (3a)
( N − 2)λp 2 − [( N − 3)λ + µ1 ] p3 + µ 2 p 4 = 0 i =0
M
où
( N − k − 1)λp k −1 − ( N − k )λ + µ} p k + µp k +1 = 0 ,
2<k <N p1 = p11 + p12 (3b)
M
λp N −1 + µp N = 0 (2) Sous forme matricielle on a:

 − Nλ µ1 µ2 0 0 0 0 0 
  p
 0,5 Nλ − [( N − 1)λ + µ1 ] 0 µ 2 0 0 0 0   0  0
 
0,5Nλ 0 − [( N − 1)λ + µ2 ] µ1 0 0 0 0   p11  0
  (4)
 0 ( N − 1)λ ( N − 1)λ − [( N − 2)λ + µ ] µ 0 0 0   p12  0
⋅  = 
 0 0 0 ( N − 2)λ − [( N − 3)λ + µ ] µ 0 0   p2  0
 
 0 0 0 0 − ( N − 3)λ − [(N − 4)λ + µ ] 0 0   p3  0
 0    
0 0 0 0 0 − (λ + µ ) µ   pN  0
 
 0 0 0 0 0 0 λ − µ 

 
La structure regulière de la matrice du système  H  p
   H
d’équations (4) permet de trouver très facilement la  µ    (5)
solution dans le cas général. On peut diviser la matrice  ⋅  = 0
(N − m )λ   
du système en deux parties: H-la tête du graphe - les
 T   p T 
états: E0, E1, ...,.Em et T-la queue du graphe -les états:  
Em+1, Em+2, ...,.EN ,ce que nous pouvons voir sur les  
figures 1 et 2.
Finalement on aura: D’abord nous allons trouver la solution pour la partie T.
Nous obtenons l’équation matricielle:

− [( N − m − 1)λ + µ ] µ 0 0 0 0   pm +1  − ( N − m) pm 
 ( N − m − 1)λ p  
 − [( N − m − 2)λ + µ ] µ 0 0 0   m+ 2   0 

 0 ( N − m − 2)λ − [( N − m − 3)λ + µ ] 0 0 0   pm +3   0  (6)
   = 
 0 0 ( N − m − 3) λ 0 0 0   m+ 4  
p 0 
 0 0 0 2λ − (λ + µ ) µ  p
N −1
  0 
     
 0 0 0 0 λ − µ   p N   0 

Après la modification on a:

 −µ 0 0 0 0 0   p m +1  − ( N − m ) λp m 
( N − m − 1)λ  
 −µ 0 0 0 0   p m + 2   0 

 0 ( N − m − 2)λ −µ 0 0 0   p m+3   0 
  =  (7)
 0 0 ( N − m − 3)λ 0 0 0   p m+ 4   0 
 0 0 0 2λ −µ 0   p N −1   0 
    
 0 0 0 0 λ − µ   p N   0 

- 648 -
 MOSIM’01-du 25 au 27 avril 2001 – Troyes (France)

La solution de l’équation (7) possède la forme suivante:

(N − m )! j −m p , p N = (N − m )! ρ N − m p m (8b)
p m+ j = ρ ⋅ m m< j<N (8a)
(N − j )!

La partie H s’écrit:

 − Nλ µ1  µ2 0
N   p0   0 
 λ − [( N − 1)λ + µ1 ] 0 µ2   p11   0 
 2 ⋅ =  (9)
Nλ   p12   0 
0 − [( N − 1)λ + µ 2 ] µ1
 2   p  − µp 
 0 (N − 1)λ (N − 1)λ − [( N − 2)λ + µ ]  2   m +1 

En utilisant la condition de normalisation et la formule 2

p m +1 obtenue comme la solution de la partie T, nous p0 = (11e)
N
N!
2 + N ( ρ1 + ρ 2 ) + ∑ ρ1 ρ 2 ρ j −2
avons:
j =2 (N − j )
!
 N 
− λ ⋅ p0 
− [( N − 1)λ + µ1 ] 0 µ 2   p11   2


− [( N − 1)λ + µ 2 ] µ1  ⋅  p12  = −
N 3. SYSTÈME M/M/3/FIFO/N/F À TEMPS DE
 0 λ ⋅ p0 
 2 
 (N − 1)λ ) ( N − 1)λ − µ   p 2   0 
SERVICE INDIVIDUEL
  On considère un système fermé M/M/3/FIFO/N/F avec
(10) trois serveurs de taux différents µ1 , µ 2 et µ 3 . Les
états possibles du système sont:
La solution d’équation (10) a la forme suivante: E0 - aucun canal n’est occupé (aucune demand
n’attend),
N E1,1 - un canal est occupé, (canal no 1),
p11 = ρ1 p 0 (11a)
 2 E1,2 - un canal est occupé, (canal no 2),

1!  E1,3 - un canal est occupé, (canal no 3),
1  E212 - deux canaux sont occupés, (canal no 1 et no 2),
E213 - deux canaux sont occupés, (canal no 1 et no 3),
N E223 - deux canaux sont occupés, (canal no 2 et no 3),
p12 = ρ 2 p0 (11b)
 2 E3 - trois canaux sont occupés,
1!  E4 - trois canaux sont occupés, une demande attend
1 
M
Ek - trois canaux sont occupés, (k–3) demandes
p1 =
N
(ρ1 + ρ 2 )p 0 (11c) attendent (3<k<N),
2
M
N (N − 1) EN - trois canaux sont occupés, (N–3) demandes
p2 = p0 (11d) attendent
 2
 
2!   ρ1 ρ 2 Le graphe des transitions possibles est presenté sur la
 2
figure 2.
N–1
2 

E11  E212
N 2

3 N–1
(N–2) 
2   1
  
1 N 3
(N–3)  (N–4)  
(N–k+1) (N–k)  2 
3
3
(N–2)
N–1
E0  2
E12 2  E213 
E2 E3 Ek EN–1 EN
2

      

1
N–1 
N 3 1

 3 3 2  (N–2)

E13 2
E223
N–1
2 

Figure 2. Graphe des transitions pour le système M/M/3/FIFO/N/F à temps de service individuel

- 649 -
 MOSIM’01-du 25 au 27 avril 2001 – Troyes (France)

En utilisant la régle mnémotechnique pour le graphe presenté à la figure 2, nous obtenons en état stationnaire, le
système des équations algébriques:

− Nλp 0 + µ1 p11 + µ 2 p12 + µ 3 p13 = 0

N / 3λp 0 + [( N − 1)λ + µ1 ] p11 + µ 2 p 212 + µ 3 p 213 = 0
N / 3λp 0 + [( N − 1)λ + µ 2 ] p12 + µ1 p 212 + µ 3 p 223 = 0
N / 3λp 0 + [( N − 1)λ + µ 3 ] p12 + µ1 p 213 + µ 3 p 223 = 0
( N − 1) / 2λp11 + ( N − 1) / 2λp12 − [( N − 2)λ + µ1 + µ 2 ] p 212 + µ 3 p3 = 0 (12)
( N − 1) / 2λp11 + [( N − 1) / 2λp13 − [( N − 2)λ + µ1 + µ 3 ] p 213 + µ 2 p3 = 0
( N − 1) / 2λp12 + [( N − 1) / 2λp13 − [( N − 2)λ + µ 2 + µ 3 ] p 223 + µ1 p3 = 0
( N − 2)λp 212 + ( N − 2)λp 213 + ( N − 2)λp 223 − µp 3 = 0

sous la condition de normalisation où: p1 = p11 + p12 + p13 (13b)

N
∑ pi = 1, (13a) et p 2 = p 213 + p 212 + p 223 . (13c)
i =0
Sous forme matricielle on a:

 − Nλ µ1 µ2 µ3 0 0 0 0 
N 
 λ − [( N − 1)λ + µ1 ] 0 0 µ2 µ3 0 0 
  0  0
p
 3
Nλ    
0 − [( N − 2)λ + µ 2 ] 0 µ1 0 µ3 0   p11  0
 3 
N  12  0
 p
 λ 0 0 − [( N − 2)λ + µ13 ] 0 µ1 µ2 0   p  0

13 
 3 = 
 0 N −1 N −1 p   
λ λ 0 − [( N − 2)λ + µ1 + µ 2 ] 0 0 µ 3   212  0
 2 2  p
  213   
0
 N −1 N −1
 0 λ 0 λ 0 − [( N − 2)λ + µ1 + µ3 ] 0 µ 2   p223  0
 2 2   p  0
N −1 N −1
 0 0 λ λ 0 0 − [( N − 2)λ + µ 2 + µ3 ] µ1   3   
 2 2 
 0 0 0 0 (N − 2)λ (N − 2)λ (N − 2)λ − µ 
(14)

En résolvant l’équation (14), nous obtenons la solution:

N (N − 1)
p 213 = ρ1 ρ 3 p 0 (15e)
p11 =
N
ρ1 p 0  3
(15a) 2! 
 3  2
1! 
1
N (N − 1)
p 223 = ρ 2 ρ 3 p0 (15f)
p12 =
N
ρ 2 p0  3
(15b) 2! 
 3  2

1! 
1
N (N − 1)(N − 2 )
N p3 = ρ1 ρ 2 ρ 3 p 0 (15g)
p13 = ρ 3 p0 (15c)  3
 3 3! 
1!   3
1

N (N − 1)
Prenant en considération la condition de normalisation,
p 212 = ρ1 ρ 2 p 0 (15d) nous trouverons les formules
 3
2! 
 2

- 650 -
 MOSIM’01-du 25 au 27 avril 2001 – Troyes (France)

6
p0 =
N N!
6 + 2 N ( ρ1 + ρ + 2 ρ 3 ) + N ( N − 1)( ρ1 ρ 2 + ρ1 ρ 3 + ρ 2 ρ 3 ) + ∑ ( N − j )! ρ1 ρ 2 ρ 3 ρ j −3 (16a)
j =3

N (N − 1)
p1 =
N
(ρ1 + ρ 2 + ρ 3 )p0 (16b) p 2 j1 j = ρ j1 ρ j 3 p 0 (17g)
3 3 m
2! 
N (N − 1) 2 
p2 = (ρ1 ρ 2 + ρ1 ρ 3 + ρ 2 ρ 3 )p0 (16c) M
6
N (N − 1)
p 2 jm−1 j = ρ jm−1 ρ jm p 0 (17h)
m  m
pj =
N!
(ρ ρ ρ )ρ j −3 p0 , 3≤ j ≤ N (16d) 
2! 
(N − j ) ! 1 2 3 2 

N (N − 1) 2 i
p2 = SK m p 0 (16e) Dans la formule (16e), le symbole SK m apparait, le sens
m
2!  de ce dernier est expliqué dans l’expression par example.
2  (18a et 18b).

N!
p ij1 j2 .... ji = ρ j1 ρ j 2 ...ρ ji p 0 (16f) SK 32 = ρ1ρ 2 + ρ1 ρ3 + ρ 2 ρ3 (18a)
 m
i! (N − i )!  
i 
SK 14 = ρ1 + ρ 2 + ρ 3 + ρ 4 (18b)
4. SYSTÈME M/M/m/FIFO/N/F À TEMPS DE
SERVICE INDIVIDUEL Sous la forme générale nous obtenons:

En considérant les résultats obtenus pour les systèmes

N!
M/M/2/FIFO/N/F et M/M/3/FIFO/N/F nous pouvons pi = i
SK m p0 , 1≤ i ≤ m (19a)
 m
prévoir la solution pour le système, ayant m canaux de i!( N − i )! 
service à temps individuel. i 
Voilà la solution:

p0 =
m! N!  m 
m −1 N pj =  ∏ ρ k  ρ j −m p 0 , m≤ j≤N
m!+ ∑
N!
(m − i )!SKmi + ∑ N! SKmm ρ j − m m!( N − j )!  k =1 
j =1 ( N − i )! j = m ( N − j )!
(19b)
(17a)
N
p1 j1 = ρ j1 p 0 (17b) Ayant trouvé les formules pour toutes les probabilités
 m nous pouvons obtenir les rélations générales pour les
1! 
1  paramètres les plus importants caractérisant le système:

N - le nombre moyen d’unités dans la file

p1 j2 = ρ j 2 p0 (17c)
m
1!  N −m N −m  m  r
1  N!
v= ∑ p r +m = ∑ ∏ ρk  ρ p 0 (20)
r =0 m! (N − r − m )!  k =1
 
M r =0 
N
p1 jm = ρ jm p0 (17d)
 m - le nombre moyen des canaux de services occupés
1! 
1 
m N
N
m0 = r ∑ pr + m ∑ pr (21)
p1 = SK 1m p 0 (17e) r=0 r = m +1
 m
1!  
1  - le nombre moyen d’unités dans le système

N ( N − 1) m N
p 2 j1 j = ρ j1 ρ j 2 p 0 (17f)
2  m
2! 
n= ∑ ipi + ∑ j p j (22)
r =0 j =m+ r
2 

- 651 -
 MOSIM’01-du 25 au 27 avril 2001 – Troyes (France)

- le temps moyen de séjour d’une unité dans le systè- REFERENCES

me
Filipowicz B.: Modèles stochastiques en récherche
n opérationnelle. Analyse et synthese des systemes et
ts =
(
λ N −n ) (23) des réseaux de files d’attente. WNT, Warszawa
1996.(en polonais)
Filipowicz B., Idzikowska K.: The M/M/m/FIFO/∞
- le temps moyen d’attente d’une unité dans la file queueing system model with individual service, The
3 Workshop of International Institute For General
v 1 Systems Studies,Tianjin Preople’s Publishing House,
tf = = ts −
(
λ N −n ) µ
(24) 1998, pp. 525 – 530,
Filipowicz B., Idzikowska K.: The M/M/m/FIFO/∞
Queueing System model with Impatient Clients and
5. CONCLUSION Individual Service, Proceedings of International
Conference on Robotics Vision and Parallel
Les modèles des systèmes de file d’attente sont de plus Processing for Automation, ROVPIA-’99, Ipoh,
en plus appliqués comme un support pour la préparation Perak, Malaysia 16-18.07 1999, vol 1. pp.137-145
de la décision concernant l’amériolation et le perfection- Filipowicz B., Idzikowska K.: A New Class of Models
nement des structures organisationnelles dans les plu- of Queueing Systems with Individual Service,
sieurs domaines d’activité industrielle. Dans ce travai, Second Conference on Management and Control of
nous avons developpé des formules nécessaires, décri- Production and Logistics,MCPL’2000,Grenoble,
vant le fonctionnement du système de files d’attente France, 5-8 July2000, paper on CD.
M/M/m/FIFO/N/F à temps de service individuel et avec Gelenbe E., Pujolle G.: Introduction to queueing
le flux des demandes réparties uniformement pour tous networks. New York. John Wiley 1987.
les canaux de service libres. Kleinrock L.: Queueing systems, vol. 1 and 2. New
York, John Wiley 1975.

- 652 -