Разработан алгоритм анализа достижимости стохастических алгебраических сетей Петри. <...> Предлагаемый алгоритм обеспечивает решение задачи разрешимости срабатывания переходов, находящихся в состояниях конфликта, и операций соединения и расчленения входного и выходного кодексов! <...>