В чем разница между теоретической сетью Петри и рабочим процессом BPMN?
Есть теоретические сети Петри: http://en.wikipedia.org/wiki/Petri_net
И затем есть рабочие процессы, выраженные как BPMN 2.0.
В чем именно разница? Причина, по которой я спрашиваю, состоит в том, что мы хотим упростить бизнес-процессы, смоделированные в BPMN (о которых не заботится / не использует ни один средний человек), и сделать его более "одномерным" для использования на смартфонах (например, контрольный список) с огромным количеством дополнительных основанные на графике привязки к другим шагам в контрольном списке. Наше предприятие называется Tallyfy - https://tallyfy.com/
Кроме того, мы хотим посмотреть, сможем ли мы использовать сети Петри как более строгий способ выполнения процессов в нашем приложении.
3 ответа
Сети Петри являются очень базовой концепцией моделирования мест / переходных потоков. В настоящее время сети Петри, вероятно, в основном используются в научных кругах и / или низкоуровневых компьютерных науках / разработке программного обеспечения, согласно Википедии для описания распределенных систем.
BPMN 2.0 - это спецификация, определяющая нотацию моделирования бизнес-процессов и ее представление в XML. Таким образом, BPMN 2.0 выходит за рамки компьютерных наук / разработки программного обеспечения. Процесс BPMN в некоторой степени напоминает поведение сетей Петри. Однако BPMN 2.0 предоставляет более полный набор элементов и выходит далеко за рамки определения простых потоков места / перехода и, кроме того, предлагает больший набор элементов для выражения поведения потока.
Благодаря простому набору элементов сети Петри предназначены для математической формализации, а BPMN 2.0 - в XML (см. Выше).
В то время как BPMN 2.0 можно использовать для моделирования распределенных информационных систем (обычно в ситуации, когда никто не рассматривает использование сетей Петри), никогда не следует использовать сети Петри для моделирования бизнес-процессов. Важно отметить, что хорошо смоделированный BPMN-процесс понятен для людей, не знающих BPMN, поскольку BPMN 2.0 является высокоуровневой нотацией и относительно близка к интуитивному пониманию процесса.
Так:
Сети Петри = низкий уровень, информатика, математически формализовано
BPMN = высокоуровневое управление бизнес-процессами, формализованное в XML
Редактировать: В контексте моделирования или выполнения BPM может быть полезно (автоматически) отобразить диаграммы BPMN в сети Петри (или: в сети рабочих процессов) для определения математических свойств, таких как достижимость.
Сеть Петри - это описание системы в терминах сетевых элементов. Существует четыре типа сетевых элементов: место, переход, ввод и вывод. Вход соединяет место с переходом. Выход соединяет переход к месту. Сетевой элемент может иметь ноль или более аннотаций. Аннотацией может быть информация любого типа.
Например, рассмотрим сеть Петри со следующими аннотациями свойств: 1) у каждого элемента place есть метка (количество, которое может быть любым числом, большим или равным нулю), 2) каждый переход имеет статус (величина, которая может быть истинной или false), 3) каждый вход имеет статус (количество, которое может быть истинным или ложным) и вес (количество, которое может быть любым числом, большим или равным нулю), и 4) каждый выход имеет вес (количество это может быть больше нуля).
Кроме того, каждый вход имеет логику обновления статуса: если вес входа больше или равен отметке места, статус равен true; в противном случае статус ложный. Каждый переход также имеет логику обновления статуса: если состояние каждого входа перехода - "истина", то и состояние перехода - "истина".
Кроме того, каждый вход имеет логику обновления метки места: метка места (входа) равна метке места минус вес ввода. Каждый выход имеет логику обновления метки места: метка места (выхода) равна метке места плюс вес выхода. Каждый переход имеет логику обновления метки места: вызов обновления метки места каждого входа и каждого выхода перехода.
Кроме того, каждый сетевой элемент имеет аннотацию графического отображения: место - это круг, переход - это квадрат, вход - стрелка из круга в квадрат, а выход - стрелка из квадрата в круг. Если отметка места равна 1, это одна черная точка; если отметка места 2, это две черные точки; и т. д. Если статус перехода имеет значение true, он зеленый. Если статус перехода ложный, он не имеет цвета.
Большая часть приведенной выше аннотации была определена несколькими исследователями сети Петри в течение нескольких лет. Карл Адам Петри определил элементы сети, предложил систему аннотаций и определил первый набор аннотаций, которые имеют практическое применение. Анатол Холт придумал термины "место", "переход", "вход", "выход" и "сети Петри". Холт также во многом способствовал развитию сети Петри.
Я использую элементы сети для организации требований или компьютерных программ. Требования или компьютерные программы добавляются в качестве аннотаций к элементам сети.
Нотации BPMN можно рассматривать как нотации высокого уровня, которые можно использовать для просмотра сети Петри.
Я хотел бы добавить, что вы можете использовать графики и теории сетей Петри для анализа моделей BPMN с математической точки зрения.