Синтез модели сети Петри с временными интервалами из логов событий с временными отметками

Методы извлечение и анализ процессов, используя информацию о событиях, позволяют извлечь модель процесса, проверить соответствие полученной модели и дополнить её информацией об узких местах, принятии решений и использовании ресурсов. Журналы событий используются для изучения и расширения моделей процессов. Для сетей Петри существуют различные методы извлечения и проверки моделей, но время в них выполняет лишь причинно-следственную связь событий в журнале. Сети Петри с временными интервалами представляют собой расширение сетей Петри добавлением временных интервалов выполнения переходов. В данной работе были разработаны алгоритмы извлечения и проверки соответствия моделей сетей Петри с временными интервалами, а также эти алгоритмы были реализованы в виде плагинов для программной платформы ProM. Используя данные плагины были проведены эксперименты, подтверждающие применимость данных алгоритмов. Ключевые слова: извлечение и анализ процессов, извлечение моделей, проверка соответствия моделей, сети Петри, сети Петри с временными интервалами, программная платформа ProM.