Условия существования предельного распределения вероятностей разметок во временных стохастических сетях Петри

Рассматриваются необходимые условия существования предельного распределения вероятностей разметок во временных стохастических сетях Петри с различными ограничениями. Проверка этих условий осуществляется путем анализа системы линейных алгебраических уравнений и неравенств, общее число которых не превосходит $n+m-1$, где $n$ и $m$ – числа мест и переходов сети Петри соответственно.