Un modelo de colas de un solo servidor markoviano con llegadas Poisson (exponenciales sin memoria) a tasa λ, tiempos de servicio exponenciales con tasa μ y un único canal de servicio; el estado es el número de clientes en el sistema y las transiciones forman un proceso birth–death cuya distribución estacionaria existe si λ<μ.

Principio

Bajo las hipótesis M/M/1, la dinámica es una cadena de Markov birth–death en tiempo continuo donde la estabilidad (distribución estacionaria) exige intensidad de tráfico ρ=λ/μ<1; la longitud media de cola y el tiempo de espera tienen expresiones cerradas (ej., número medio en sistema = ρ/(1−ρ)).

Demostración

Escenario ilustrativo (hipotético): Situación → Un servicio de soporte con un técnico recibe solicitudes independientes a λ=0,8 sol/min; μ=1,2 sol/min. Reconocimiento → ρ=0,67<1, por tanto aplica estado estacionario. Acción → El gestor usa fórmulas M/M/1 para estimar tiempo medio de espera y dimensionar. Consecuencia → Las estimaciones guían la dotación de personal y la capacidad de búfer mientras se cumplan las suposiciones.

Aplicación incorrecta

Aplicar fórmulas M/M/1 a sistemas con tiempos de servicio no exponenciales o múltiples servidores. Este error resulta tentador por la simplicidad; la equivocación semántica es considerar la exponencial como descripción empírica en vez de una suposición de ausencia de memoria y variabilidad específica. Para colas con colas pesadas o servidores paralelos, las métricas M/M/1 son incorrectas.

Consecuencia

El uso correcto genera métricas simples e interpretables (utilización, longitud media de cola, demora media) útiles para diseño de capacidad. El mal uso puede subestimar retardos en cola, desorientar la asignación de recursos o ocultar la necesidad de modelos multi‑servidor o de servicio general.

Inversión

Las conclusiones cambian al relajar suposiciones: tiempos de servicio generales (M/G/1) o varios servidores (M/M/c) dan formas cerradas distintas; si λ≥μ el sistema es inestable y las colas crecen sin límite. Además, dependencia de llegadas o servicios, población finita o reglas de prioridad invalidan los resultados básicos M/M/1.

Límite

Claramente dentro: un procesador único atendiendo trabajos Poisson independientes y homogéneos con servicio exponencial. Caso límite: servidor único con tiempos de servicio próximos a exponencial pero con algunos trabajos largos — las medias pueden seguir siendo válidas, las métricas de cola no. Claramente fuera: un clúster de servidores paralelos (se requiere M/M/c) o tiempos de servicio deterministas (D/M/1).

Tensión semántica

Simplicidad y solubilidad analítica (M/M/1) ↔ Fidelidad a la variabilidad de tiempos de servicio y la arquitectura de servidores. Elegir M/M/1 simplifica el diseño pero puede ocultar comportamiento en cola.

Síntesis

M/M/1 es una idealización mínima y completamente especificada: muestra las consecuencias de llegadas y servicios sin memoria y provee fórmulas de referencia para capacidad y rendimiento. Su utilidad principal es como modelo de base que indica qué extensiones son necesarias ante desviaciones.