Введение в проверку соответствия Проверка соответствия включает в себя сравнение модели процесса, которая представляет желаемое выполнение процесса, с данными о реальных событиях. Цель состоит в том, чтобы оценить, насколько хорошо реальность соответствует этой эталонной модели.
Пример модели процесса: Запросы о компенсации В качестве примера используется модель BPMN для обработки запросов на компенсацию. Это включает в себя такие этапы, как регистрация запроса, одновременная проверка билетов и экспертиз, принятие решения и возможные результаты, такие как оплата или отклонение.
Понимание использования сетей Петри при моделировании процессов Сети Петри представлены в качестве альтернативной нотации для моделирования, которая отражает поведение, аналогичное моделям BPMN, но использует места (круги) и переходы (прямоугольники). Места представляют состояния, в то время как переходы манипулируют этими состояниями, используя токены из входных мест и создавая токены в выходных местах.
Объяснены "запускающие" переходы в сетях Петри "Запуск" относится к выполнению разрешенных переходов, если все их входные позиции содержат хотя бы один токен. Запуск использует токены из входных позиций и создает новые в выходных позициях без какого-либо обмена данными между ними; использованные токены прекращают свое существование после запуска.