Математическая и компьютерная модель многоканальной СМО с дообслуживанием заявок

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