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


2018

Леонтьев Д. В., Тарасов Г. В., Харитонов Д. И.

Статьи в журналах

Системы и средства информатики

Россия

№2(28)

99-115

2311-0325

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