Сотрудники лаборатории представили исследование, проведенное совместно с группой «Models of Concurrency, Communication and Computation» Миланского Университета-Бикокка на воркшопе "Algorithms & Theories for the Analysis of Event Data (ATAED)"

ATAED охватывает исследования, связанные с синтезом моделей распределенных систем по описанию их поведения – журналам событий, системам переходов, частичным порядкам и т.д. В настоящее время большой интерес представляют работы в области синтеза моделей систем по журналам событий (process mining)

В 2018 году в 39-ый раз прошла ключевая конференция по сетям Петри – «International Conference on Applications and Theory of Petri Nets and Concurrency».

При конференции PETRI NETS также регулярно организуются воркшопы "Algorithms & Theories for the Analysis of Event Data (ATAED)" и "Petri Nets and Software Engineering (PNSE)".

Основное направление исследований, представляемых на PNSE, - это применение формальных методов (сетей Петри и их расширений) в программной инженерии для моделирования, валидации и верификации систем.
ATAED охватывает исследования, связанные с синтезом моделей распределенных систем по описанию их поведения – журналам событий, системам переходов, частичным порядкам и т.д. В настоящее время большой интерес представляют работы в области синтеза моделей систем по журналам событий (process mining).

В этом году на воркшопе ATAED заведующая лабораторией ПОИС Ирина Александровна Ломазова и стажер-исследователь Роман Нестеров представили исследование, проведенное совместно с группой «Models of Concurrency, Communication and Computation» Миланского Университета-Бикокка – Лукой Бернардинелло и Лючией Помелло. Ииследование затрагивает вопросы  разработки методов синтеза моделей мульти-агентных систем по журналам событий, а так же определяет формальные условия, при которых получаемая модель системы будет корректной и структурированной.