Семинар лаборатории ПОИС: Метод синтеза структурированных моделей процессов по системам переходов на основе иерархий событий

На очередном заседании нашего семинара выступил студент магистратуры Елохов Евгений. Тема его доклада: «Метод синтеза структурированных моделей процессов по системам переходов на основе иерархий событий»

Аннотация

Хорошо известно, что сети Петри широко распространены для моделирования систем. Переходы в сетях Петри можно рассматривать как события, происходящие в системе. Существует множество алгоритмов синтеза сетей Петри: например, алгоритм, генерирующий модель процесса из системы переходов и использующий теорию регионов. В свою очередь система переходов может быть «добыта» из лога (журнала) событий, который представляет множество цепочек (трасс) выполнения событий. Существующий алгоритм синтеза сетей Петри, основанный на регионах, позволяет сгенерировать точную модель процесса, воспроизводящую все последовательности событий, указанные в логе, но в то же время эта модель может не иметь четкую структуру и не являться обобщенной. 
В данной работе предложен алгоритм синтеза структурированных моделей процессов на основе систем переходов и иерархий событий. Тема работы является актуальной по следующей причине: иерархия событий позволяет удалять избыточные места сети Петри, что невозможно только при использовании классического алгоритма синтеза сетей Петри. Модель процесса, сгенерированная на основе предложенного алгоритма, должна воспроизводить все трассы журнала событий. Кроме того, структура полученной модели должна быть проще по сравнению с моделью, полученной в результате применения классического алгоритма. Однако подход, основанный на использовании иерархии событий, добавляет новое поведение в модель, что делает ее менее точной. Предложенный алгоритм был реализован в качестве плагина на языке Java в среде ProM.