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

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