Семинар НУЛ ПОИС "Типизированные сети Петри с переменными весами дуг"

Ирина Александровна Ломазова, научный руководитель НУЛ ПОИС, профессор департамента программной инженерии ФКН, расскажет о типизированных сетях Петри с переменными весами дуг.

Объектно-центричные (object-centric) процессы становятся все более популярными в последние годы в основном благодаря созданию объектно-центричного майнинга процессов. Одним из наиболее популярных формализмов для описания жизненных циклов объектов и фиксации связей между ними являются объектно-центричные сети Петри. Важной особенностью таких сетей является возможность передавать произвольное количество однотипных объектов при переходе с помощью так называемых переменных дуг. В данной работе мы обобщаем концепцию переменных дуг, вводя довольно простой и универсальный механизм параметризации веса дуги с помощью линейных комбинаций весовых переменных, зависящих от типа, и включаем его в новый формализм типизированных сетей Петри с переменными весами дуг. Более того, мы показываем, что такие расширенные переменные дуги могут быть эффективно устранены, что делает полученную модель сети выразительно эквивалентной классической P/T-сети. Этот результат позволяет естественным образом перенести аналитические методы, доступные для P/T-сетей, на формализмы типа объектно-ориентированных сетей Петри.

Семинар пройдет в онлайн-режиме. Ссылка для подключения