Семинар лаборатории ПОИС: Возможности применения композиции сетей Петри с помощью морфизмов для решения задачи Process mining // Роман Нестеров

На очередном заседании нашего семинара выступил студент магистратуры НИУ ВШЭ Роман Нестеров. Тема его доклада: Возможности применения композиции сетей Петри с помощью морфизмов для решения задачи Process mining.

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