Динамическая визуализация исполнений ссылочных сетей

ФИО студента: Котылев Ярослав Валентинович

Руководитель: Мицюк Алексей Александрович

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

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

Год защиты: 2021

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

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

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

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

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

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

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