Семинар НУЛ ПОИС "Инструмент для построения и анализа разверток сетей Петри"

Тимур Тимергалин, студент третьего курса ОП "Программная инжененрия", расскажет о программном инструменте для построения и анализа разверток сетей Петри.

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

Семинар пройдет в онлайн-режиме. Ссылка для подключения.