Стартовал осенний сезон семинаров лаборатории ПОИС 2023 года

Николай Суворов, аспирант 1-го года обучения аспирантской школы по компьютерным наукам ФКН, 6 октября 2023 года выступил с докладом по результатам своих текущих исследований.

Николай Суворов, аспирант 1-го года обучения аспирантской школы по компьютерным наукам ФКН, рассказал о проблеме верификации бездефектности (soundness) моделей процессов с данными (data-aware process models).

Было отмечено, что существующие алгоритмы проверки бездефектности моделей процессов с данными не всегда корректно определяют некоторые типы зацикливаний (livelocks).

В ходе доклада Николай представил корректный алгоритм, который решает задачу проверки бездефектности моделей процессов с данными в виде расширений сетей Петри. Кроме этого, была представлена программная реализация и экспериментальная оценка предложенного алгоритма.

Семинары лаборатории ПОИС проходят преимущественно в онлайн-режиме.

Запись доклада Николая Суворова доступна по ссылке.