Семинар лаборатории ПОИС: "DB-nets: о браке между раскрашенными сетями Петри и реляционными базами данных". Докладчик - Андрей Ривкин, Свободный университет Боцен-Больцано, Италия

Вопрос организации бизнес процессов и мастер-данных является одной из основных задач в современной индустрии. Несмотря на множество различных решений предлагаемых учеными и специалистами-практиками, “здоровый” баланс между ключевыми аспектами связанными с процессами и данными все еще не был найден. В данном докладе я попытаюсь найти этот баланс через так называемый “брак по расчету”, заключенный между двумя подходами популярынми в моделерировании бизнес процессов и организации данных, и продемонстрирую новую формальную модель —  db-nets —, которая была получена в результате синтеза раскрашенных сетей Петри и реляционных баз данных. В заключение, я также опишу возможности db-nets в сферах концептуального моделирования, формальной верификации и симуляции.