Защита программных средств с использованием сетей Петри

Abstract

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