Обеспечение бездефектности сети Петри с помощью условий срабатывания переходов

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