Декомпозиционный анализ случайных процессов во временных стохастических сетях Петри

Предлагается метод анализа случайных процессов смен достижимых разметок в неэкспоненциальных временных стохастических сетях Петри с ограниченной предысторией, основанный на представлении этих процессов в виде совокупности параллельно протекающих независимых подпроцессов, каждый из которых является полумарковским процессом. Конечной целью анализа служит вычисление предельного распределения вероятностей достижимых разметок. Рассматривается пример, иллюстрирующий предложенный метод.