Лабораторная работа №3
В ходе работы было произведено преобразование ранее созданной BPMN модели процесса «закрытие карты».
Рис. 3.1 – Сеть Петри «Закрытие карты».
В предложенной утилите было построено дерево маркировок. Так как в графе достижимости маркировок отсутствует символ омега делаем вывод, что сеть ограничена. Модель ограниченная, тупики отсутствуют.
Рис. 3.2 – Граф достижимости маркировок
Замкнем процесс, так мы можем выяснить накапливаются ли фишки при повторных итерациях или нет и сделать выводы о построенной сети.
Рис. 3.3 – Замкнутая сеть Петри.
Рис. 3.3 – Граф достижимости маркировок замкнутой сети.
При помощи PIPE создано фундаментальное уравнение фрагмента созданного процесса.
Лабораторная работа №4
Изучение основных алгоритмов анализа процессов.
Цели работы:
1. Изучение основных возможностей платформы автоматизированного анализа процессов ProM;
2. Ознакомление со следующими базовыми алгоритмами анализа процессов:
- альфа алгоритм (Alpha Miner);
- альфа(+) алгоритм (Alpha+ Miner);
- алгоритм эвристической добычи(Heuristics Miner);
- генетический алгоритм добычи процессов (Evolution Miner);
- алгоритм регионов (Region Based Miner);
- алгоритм нечеткого анализа (Fuzzy Miner).
Исследование устойчивости к шумам двух выбранных в соответствии с вариантом алгоритмов анализа процессов.
Первоначально граф был перерисован в программе Carassius, где его экспортирование было выполнено в формат pnml.
Рис. 4.1 – Сеть Петри, построенная в программе Carassius.
Экспортированный файл имеет формат xml, что легко поддается парсингу программными средствами. С помощью NewGena для полученной сети Петри (рис. 4.2).
Произведена визуализация полученного журнала (рис. 4.3). По журналу был произведен альфа+ алгоритм и генетический алгоритм.
Рис. 4.2 – Процесс генерации логов.
Рис 4.3.
Рис. 4.4 – Результирующий граф, построенный по Alpha+ алгоритму.
Лабораторная работа №5
Произведем тот же порядок действий, но добавим в алгоритм шум в программе NewGena. Визуализируем лог файл (рис. 5.1)
Рис. 5.1 – Визуализация журнала.
На основе полученных сведений вызываем Альфа+ алгоритм (рис. 5.2) и генетический алгоритмы.
Рис. 5.2 – Альфа+ алгоритм на основе данных с шумом.
Рис. 5.3 – Результат генетического алгоритма.
Рис. 5.4 – Результат генетического алгоритма в других нотациях.
Как видим, на изображении, добавленный шум сильно сказывается на результатах.
Санкт-Петербург
2019