Для Марковских процессов обычно составляют уравнения Колмогорова. В общем виде уравнения Колмогорова выглядят следующим образом: ; где - вектор, определяющий некоторый набор коэффициентов присущих системе Для стационарного соотношения: , что дает возможность для стационарной зависимости получить . А затем связать выходные характеристики через набор коэффициентов соответствующих системе:  Последнее соотношение представляет собой зависимость выходных параметров от некоторых внутренних параметров модели, и имеют название базисной модели. В результате всего нам нужно найти:  - которая будет называться интерфейсной моделью. Следовательно, математическая модель системы строится как совокупность базисной и интерфейсной модели, что позволяет использовать одни и те же базисные модели, для различных задач проектирования осуществляя настройку на соответствующую задачу посредством изменения только интерфейсной модели. Для Q-схем математическая модель должна обеспечивать вычисление времени реакции и определения производительности системы. Пример: пусть есть некоторая система S, имеющая конечный набор состояний (будем рассматривать для 4 состояний). Получаем ориентированный граф:  
|