Robert.

1 Introduccin
La teora de colas estudia la construccin y el anlisis de modelos
matemticos de sistemas que dan servicio a clientes cuyos tiempos
de llegada y requisitos de servicio son aleatorios.
Las dos cuestiones bsicas son el anlisis y el diseo de tales
sistemas. Las primeras se refieren a evaluar ciertas medidas del
comportamiento de sistemas con parmetros y reglas de operacin
completamente especificadas. Los problemas de diseo se refieren a
la determinacin de parmetros y reglas de operacin que den
valores satisfactorios en las medidas de comportamiento.
El modelo bsico de colas, a partir del que se pueden construir otros
ms complicados, consta de tres elementos:
1. el proceso de entrada describe las propiedades estadsticas de los
instantes entre llegadas de clientes. Tpicamente, viene expresado en
trminos de la distribucin entre llegadas.
2. el mecanismo de servicio especifica el nmero de servidores y las
propiedades estadsticas de los tiempos de servicio.
3. la disciplina de cola describe el comportamiento de los clientes que
encuentran todos los servidores ocupados.
Se ha desarrollado una notacin especfica para describir los sistemas
de espera. Se denomina notacin de Kendall, en honor a David
Kendall, al cual se debe en su mayor parte. Esta notacin es de la
forma A/B/c/K/m/Z donde A indica la distribucin del tiempo entre
llegadas, B la distribucin del tiempo de servicio, c el nmero de
servidores o canales de servicio,
K la capacidad del sistema (mximo nmero de clientes permitido en
el sistema), m el tamao de la poblacin o fuente de clientes, y Z la
disciplina de la cola. En ocasiones, se utiliza la notacin abreviada

A/B/c, suponindose K =
,m=
y Z = FIFO (First In, First Out: el
primero en llegar es el primero en ser servido).
La discusin habitual en teora de colas comienza por resultados
N (t )
generales, para discutir despus modelos particulares. Sea
el
nmero de clientes en el sistema en el instante t; definamos
Pj (t ) P ( N (t ) j )
como la probabilidad de que el sistema est en el
estado j en el instante t. Es particularmente interesante en colas
encontrar la distribucin en equilibrio definida por:

...
0 1 0 n 1
n 1 u1 ...un

0 ...n 1

n 1 u1 ...un

j lim Pj (t )
t

De hecho, una parte importante de la teora de colas estudia el

clculo de tales probabilidades y su uso en el clculo de medidas de
comportamiento.
Los casos ms sencillos de colas corresponden a aquellos en que las
llegadas siguen una distribucin de Polisn y los tiempos de servicio
siguen una distribucin exponencial. En estos casos, en la notacin de
Kendall A = B = M indicando as, que tanto el tiempo entre llegadas
como el tiempo de servicio es exponencial. El estudio de tales
sistemas resultara relativamente sencillo si nos apoyamos en los
Procesos de Nacimiento y Muerte, estudiados en el tema anterior. Si
N (t )
representa el nmero de individuos en el sistema en el instante t
y suponemos que siempre que hay n individuos en el sistema:
n
Se producen nuevas llegadas con tasa exponencial
Independientemente, se producen salidas del sistema con tasa
un
exponencial
un proceso de nacimiento y muerte con tasas de llegada (nacimiento)

n n 0

n0

n n0

n 1
y tasas de salida (muerte)
,
es una cadena de Markov
en tiempo continuo con espacio de estados {0, 1, . . .}, tasas de
permanencia en cada estado
v0 0
v1 i ui , i 0
y probabilidades de transicin
P01 1

i
,i 0
i ui
ui
Pi ,i 1
,i 0
i ui
Pi , j 0, i 0, j i 1, i 1
Pi ,i 1

Es posible analizar la situacin de equilibrio, que se corresponde al

sistema de ecuaciones en diferencias:
j j u j 1 j 1 , j 0,1, 2,...
que, con la condicin de que las probabilidades sumen 1, tiene la
solucin
...
n 0 n 1 0 , n 1, 2,.
u1...un
y

...
0 1 0 n 1
n 1 u1 ...un

Una condicin necesaria y suficiente para que existan tales

probabilidades lmite es que

0 ...n 1

n 1 u1 ...un

2 Sistema de Colas Exponencial con un Servidor:

M/M/1

Supongamos que los clientes llegan a un sistema con un solo servidor

segn un proceso de Polisn de tasa _. Cada cliente, al llegar, pasa
directamente a ser servido si el servidor esta libre y, si no, se une a la
cola. Cuando el servidor completa el procesamiento de un cliente,
este abandona el sistema y el siguiente cliente en la cola, si hay
alguno, pasa a ser servido.
N (t )
Si
representa el nmero de individuos en el sistema en el
{N (t ), t 0}
instante t, entonces
es un proceso de nacimiento y muerte
con:
n , n 0
u n u, n 1
As, el diagrama de transicin de estados para un sistema de colas
M/M/1 es

Que nos conduce al sistema de ecuaciones de equilibrio

0 u 1
( u ) n n 1 u n 1

n 0

n 0, n 0,1,...
Resolviendo el sistema o utilizando la frmula vista para un proceso
de nacimiento y muerte general, obtenemos:

 ...

n 0 n 1 0
u1...un
n
1
0

0
n 1 n
n

0, n 1
1

1
1

si 1
u u

Observemos que la condicin de estabilidad es

n 1
n

1
u

,n 0
n

Como el uso del servidor es

(probabilidad de que el servidor este
ocupado), equivalentemente podemos escribir
n 1 n , n 0
Que es la funcin de masa o probabilidad de una variable aleatoria
1 ( p 1 , q p)
geomtrica generalizada de parmetro
cuya media
es
q

L
p 1
Directamente,

L n n (1 ) n n (1 )
n 1

1 1 u

De las frmulas de Little obtenemos el tiempo medio de respuesta o

tiempo medio en el sistema,
L
1
1
W

u u (1 )
Como

W Wq Ws

, tenemos que el tiempo medio en cola es

1
1

Wq W Ws

u (1 ) u u (1 )

Aplicando de nuevo las frmulas de Little obtenemos el nmero

medio de clientes en cola y en el servidor:

2
Lq Wq

u (1 ) 1

Ls Ws
u

Una caracterstica interesante del sistema M/M/1 es que, adems, es

relativamente sencillo proporcionar la distribucin del tiempo que un
cliente pasa en la cola y en el sistema.
Sea w la variable aleatoria (v.a.) tiempo que pasa un cliente en el
W (t )
W (t )
sistema y
su funcin de distribucin. Para obtener
condicionamos en el nmero de clientes en el sistema a la llegada del
N
cliente. Sea
la v.a. nmero de clientes en el sistema.

W (t ) P ( w t ) P ( w t / N n) P ( N n)
n 0

Ahora bien,
n0
Si
, el cliente que llega estar en el sistema su tiempo de
servicio.
n 1
n 1
Si
, habr un cliente en servicio y
esperando delante de el.
Debido a la
Prdida de memoria de la exponencial (para el tiempo de servicio del
primer cliente), el
n 1
cliente deber esperar un tiempo que es suma de
exponenciales
independientes de
u
parmetro , que sabemos que sigue una distribucin Gamma con
a u
parmetros
y
n 1
Cuya funcin de densidad es
n 1 ux n
u e x
f ( x)
,x 0
n!
Asi,

n 0

W (t )

ue
o

ux

(ux) n
dx
n!

1
u u

( x ) n
dx
n!
n 0

W (t ) (u )e ux
0
t

W (t ) (u )e (u ) x dx 1 e ( u )t
0

Por lo tanto, el tiempo que un cliente pasa en el sistema es una v.a.

u
exponencial de parmetro
, cuya media sabemos que es
1
E ( w)
u
como ya habamos obtenido.

Sea ahora

wq

el tiempo que pasa un cliente en la cola. Para obtener la

Wq (t )
funcin de distribucin
procedemos de manera similar a como
W (t )
lo hacamos para obtener
.
Wq (t ) P (0 wq t )
Notemos primero que
Wq (0) P( wq 0) P
1
(0 clientes en el sistema) =

ya que
es la probabilidad de que el sistema est ocupado.
Para t > 0, tenemos que
Wq (t ) P ( wq 0) P (0 wq t )

P (0 wq t ) P ( wq t / N n) P ( N n)
n 1

n 1
Si un cliente llega cuando hay n clientes en el sistema
delante
de el en la cola y 1 en servicio), tendr que esperar en cola un
n
n
tiempo que es suma de tiempos exponenciales, i.e., de
v.a.i.i.d.
u
segn una exponencial de tasa , que es una Gamma de parmetros
pn
au
y
, cuya funcin de densidad es
n ux n 1
ue x
f ( x)
, x 0, n 1
(n 1)!
Asi,

n 1

P(0 wq t )

ue

ux

P(0 wq t ) (u )
0

P(0 wq t )

con lo que s,

(ux ) n 1
dx
( n 1)!

1
n

ux ( x) n 1
e
dx
u
n 1 ( n 1)!

t
(u )e (u ) dx (1 e ( u ) t )

u0
t 0

Wq (t ) P ( wq 0) P (0 wq t )
Wq (t ) 1 (1 e ( u ) t ) 1 e ( u ) t
Wq (t ) 1 e (1 )t 1 e t /W
E ( wq ) Wq

Igual que antes podemos comprobar que

.
El tiempo medio de espera en cola para aquellos clientes que deben
esperar, i.e., hacer cola, es de particular inters para los sistemas en

los que los clientes son personas. En ese caso, si se debe esperar
durante mucho tiempo en la cola, los clientes pueden abandonar sin
recibir servicio e ir a buscar tal servicio en otro sistema.
Wq P( wq 0) E ( wq / wq 0) P( wq 0) E ( wq / wq 0)

Wq (1 ) 0 E ( wq / wq 0
por lo que.

E ( wq / wq 0)

Wq

Ws
W
1

W Wq Ws
Como
, en media, los clientes que deben esperar, estarn
en la cola un tiempo de servicio ms que el tiempo de espera en cola
del cliente medio.