Обобщенный подход к декомпозиции сетей Петри для задач Process Mining // С. Шершаков

На семинаре слушался доклад С. Шершакова по теме «Обобщенный подход к декомпозиции сетей Петри для задач Process Mining».

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

Существующие техники process mining сталкиваются с проблемой стремительного роста объема данных, что накладывает существенные ограничения на их применение в реальных условиях. Возможность декомпозиции исследуемых моделей позволяет в значительной степени снизить вычислительную стоимость применяемых алгоритмов за счет ограничения пространства состояний, а также проводить распределение вычислений между множеством узлом, что в свою очередь позволяет существенно сократить время получения результата.

Ранее в рамках семинаров уже проводилось рассмотрение различных техник декомпозиции с использованием таких походов, как, например, «пассажи». Данный доклад посвящен рассмотрению обобщенной техники декомпозиции, для которой снимаются многие из ограничений, справедливые для частных случаев декомпозиции, таких как применение «пассажей».

Так, было показано, что можно формально произвести декомпозицию сети Петри, являющуюся моделью действующих процессов, на совокупность подсетей так, что свойства механизма проверки согласованности (Conformance Checking) лога и модели, справедливые для исходной сети, также являются справедливыми и для истинной совокупности подсетей, полученных в процессе декомпозиции — в проекции на множество активностей, моделируемое в каждой такой минимальной модели.

Презентация: 20130128-main.pdf