В чем именно разница между теоретической сетью Петри и рабочим процессом BPMN?

Сети Петри - это очень базовая концепция моделирования потоков места / перехода. В настоящее время сети Петри, вероятно, в основном используются в академических кругах и / или на низком уровне информатики / разработки программного обеспечения, согласно Википедии для описания распределенных систем.

BPMN 2.0 - это спецификация, определяющая нотацию моделирования бизнес-процессов и ее представление в XML. Таким образом, BPMN 2.0 выходит за рамки компьютерных наук / разработки программного обеспечения. Поток процесса BPMN до некоторой степени напоминает поведение сетей Петри. Однако BPMN 2.0 предоставляет более полный набор элементов и выходит далеко за рамки определения простых потоков места / перехода и, кроме того, предлагает более широкий набор элементов для выражения поведения потока.

Благодаря простому набору элементов сети Петри предназначены для математической формализации, в то время как BPMN 2.0 формализована в XML (см. Выше).

Хотя BPMN 2.0 может использоваться для моделирования распределенных информационных систем (обычно в ситуации, когда никто не рассматривает возможность использования сетей Петри), никто никогда не будет использовать сети Петри для моделирования бизнес-процессов. Важно отметить, что хорошо смоделированный процесс BPMN понятен людям, не знакомым с BPMN, поскольку BPMN 2.0 - это нотация высокого уровня, относительно близкая к интуитивному пониманию потока процесса.

So:

Сети Петри = низкий уровень, информатика, математически формализованный

BPMN = высокоуровневое управление бизнес-процессами, формализованное в XML

Изменить: в контексте моделирования или выполнения BPM может быть полезно (автоматически) отображать диаграммы BPMN в сети Петри (или: Workflow Nets) для определения математических свойств, таких как достижимость.

Сеть Петри - это описание системы в терминах сетевых элементов. Есть четыре типа сетевых элементов: место, переход, вход и выход. Вход соединяет место с переходом. Выход соединяет переход с местом. Сетевой элемент может иметь ноль или более аннотаций. Аннотация может быть любым типом информации.

Например, рассмотрим сеть Петри со следующими аннотациями свойств: 1) каждый элемент места имеет метку (количество, которое может быть любым числом, большим или равным нулю), 2) каждый переход имеет статус (количество, которое может быть истинным). или ложь), 3) каждый вход имеет статус (количество, которое может быть истинным или ложным) и вес (количество, которое может быть любым числом, большим или равным нулю), и 4) каждый выход имеет вес (количество может быть больше нуля).

Кроме того, каждый вход имеет логику обновления статуса: если вес входа больше или равен отметке места, статус истинен; в противном случае статус ложный. У каждого перехода также есть логика обновления статуса: если статус каждого входа перехода - истина, то статус перехода тоже истинен.

Кроме того, каждый вход имеет логику обновления метки места: метка места (входа) равна метке места за вычетом веса входа. У каждого вывода есть логика обновления метки места: отметка места (вывода) равна отметке места плюс вес вывода. Каждый переход имеет логику обновления метки места: вызывает обновление метки места каждого входа и каждого выхода перехода.

Кроме того, каждый элемент сети имеет аннотацию графического отображения: место - круг, переход - квадрат, вход - стрелка от круга к квадрату, а выход - стрелка от квадрата к кругу. Если отметка места равна 1, это одна черная точка; если отметка места 2 - это две черные точки; и т. д. Если статус перехода - истина, он зеленый. Если статус перехода ложный, он не имеет цвета.

Большая часть приведенных выше аннотаций была определена несколькими исследователями Сети Петри в течение нескольких лет. Карл Адам Петри определил сетевые элементы, предложил систему аннотаций и определил первый набор аннотаций, которые имеют практическое применение. Анатолий Холт придумал термины «место», «переход», «вход», «выход» и «сети Петри». Холт также внес большой вклад в развитие «сетей Петри».

Я использую сетевые элементы для организации требований или компьютерных программ. Требования или компьютерные программы добавляются в виде аннотаций к элементам сети.

Можно рассматривать нотации BPMN как нотации «высокого уровня», которые могут использоваться для просмотра сети Петри.

Я бы добавил, что вы можете использовать теории графиков и сетей Петри для анализа моделей BPMN с математической точки зрения.