Программная реализация метода генерации сетей Петри большого размера

Описана программная реализация метода генерации сетей Петри (СП) для числа мест и переходов свыше одного миллиона. Особое внимание уделяется внутренним структурам данных и алгоритмической сложности поставленной задачи. Представленные результаты позволили получить программное средство с вычислительной сложностью $O(n)$, где $n$ — число элементов модели. Описанные теоретические исследования подтверждаются практическими результатами измерения производительности.