Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри

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