Приложение для генерации сетей Петри на основе трансформаций, сохраняющих свойства моделей

В данной работе предложен подход к генерации сетей Петри, которые имеют такие же поведенческие и структурные свойства, как и некоторая исходная сеть Петри. К исходной сети Петри применяются локальные уточняющие трансформации, которые расширяют внутреннюю структуру модели. Корректность применения трансформаций основана на том, что трансформации порождают морфизмы, а также не добавляют тупики в уточненную модель, если тупиков нет в исходной модели. Разработаны два алгоритма, поддерживающих рандомизированную и фиксированную генерацию сетей Петри с помощью трансформаций. Разработанные алгоритмы были реализованы в среде редактора сетей Петри «Carassius Petri net editor». Помимо этого, в упомянутый выше редактор были внедрены трансформации сетей Петри, помощью которых можно упростить структуру исходной сети Петри. Корректность применения таких редукций обосновывается аналогичным образом, как и в случае с уточняющими трансформациями. Предлагаемый подход может быть применен для экспериментальной оценки работы алгоритмов, в которых используются сети Петри. По теме работы на конференцию SYRCoSE 2021 была подана и принята к публикации статья «Generation of Petri Nets Using Structural Property-Preserving Transformations». Ключевые слова: Сети Петри, морфизмы, трансформации с сохранением свойств, генерация моделей.