Асимптотическое распределение длины очереди одной системы массового обслуживания

Рассматривается некоторая однолинейная система массового обслуживания с конечным источником заявок. В условиях большой нагрузки исследуется возможность аппроксимации нормированной длины очереди процессом диффузионного типа. Формулируется и доказывается теорема о сходимости последовательности стационарных распределений процессов, описывающих динамику длины очереди, к стационарному распределению предельного процесса при неограниченном увеличении объема источника заявок. Приводится пример расчета конкретной системы.