• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Обеспечение корректного поведения сетей Петри расстановкой приоритетов на переходах

ФИО студента: Бердников Илья  

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

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

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

Оценка: 7

Год защиты: 2016

В рамках данной исследовательской работы будет рассматриваться задача, тесно связанная с областью сетей Петри и моделями систем с бесконечным количество достижимых состояний, реализованными в виде неограниченных сетей Петри. Сети Петри широко используются для моделирования и анализа систем совершенно разных уровне – от моделей технических систем до бизнес-процессов. Любая сеть Петри может быть охарактеризована набором атрибутов. В этой работе будут обсуждаться два атрибута сетей – это живость и ограниченность. При условии, что эти два атрибута верны для рассматриваемой сети, можно говорить о соблюдении атрибута надёжного завершения (soundness) для workflow-сетей (специальный тип сетей Петри), который является важнейшим показателем корректного исполнения для сетей данного типа. Более того, тот факт, что сеть живая и ограниченная, сообщает наблюдателю о предсказуемости и стабильности рассматриваемой системы – в моделях, описывающих поведение биосистем, оба параметра указывают на стабильность системы, во встраиваемых системах эти параметры также имеют большое значение ввиду проблемы ограниченных ресурсов. Таким образом, работа с живыми и ограниченными сетями является более удобной для наблюдателя. Однако, в реальной жизни исследователь может столкнуться с неограниченными сетями, когда количество токенов хотя бы в одном из состояний сети может быть бесконечным. В таких случаях хотелось бы, если это возможно, ограничить поведение системы таким образом, чтобы сохранить её живость, но при этом сделать неограниченной. В статье И.А.Ломазовой и L. Popova-Zeugmann “Controlling Petri Net Behavior using Priorities for Transitions”, предлагается один из возможных алгоритмов для ограничения сети путём расставления приоритетов на её переходах. Этот подход будет исследован и описан в данной работе. Также будет разработано программное средство, осуществляющее анализ исходной сети и рассчитывающее приоритеты для сети, если это возможно.

Текст работы (работа добавлена 4 июня 2016 г.)

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

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

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

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

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

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