И. Ю. Терёхина, А. А. Грушо, Е. Е. Тимонина, С. Я. Шоргин, “Построение моделей процесса с помощью простых сетей Петри”, Системы и средства информ., 2020, том 30, выпуск 4,страницы 61

Построение моделей процесса с помощью простых сетей Петри

И. Ю. Терёхина^a, А. А. Грушо^b, Е. Е. Тимонина^b, С. Я. Шоргин^b

^a Факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова
^b Институт проблем информатики Федерального исследовательского центра «Информатика и управление» Российской академии наук

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

Ключевые слова: сеть Петри, обнаружение процесса, построение модели процесса.

Поступила в редакцию: 11.09.2020

DOI: 10.14357/08696527200406