Экспериментальное исследование алгоритма управления поведением сети Петри путем задания приоритетов действий

ФИО студента: Сакунова Анастасия Юрьевна

Руководитель: Ломазова Ирина Александровна

Кампус/факультет: Факультет компьютерных наук

Программа: Системная и программная инженерия (Магистратура)

Год защиты: 2021

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

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ