Petri Nets
Математическая модель параллельных систем, лежащая в теоретической основе многих современных BPM-нотаций.
Происхождение
Сети Петри разработаны немецким математиком Карлом Адамом Петри в его докторской диссертации 1962 года. Изначально это была чисто математическая модель параллельных распределённых систем, не предназначенная для бизнес-моделирования.
Однако в 1990-х годах сети Петри стали теоретической основой формализации многих BPM-нотаций, включая части UML и BPMN.
Базовая модель
Сеть Петри состоит из:
- Позиций (places) — графически круги, представляющие состояния
- Переходов (transitions) — графически прямоугольники, представляющие события
- Дуг (arcs) — соединяющих позиции с переходами и наоборот
- Токенов (tokens) — графически точек внутри позиций, представляющих наличие условий
Переход «срабатывает», когда во всех его входных позициях есть токены. После срабатывания токены переходят в выходные позиции.
Связь с BPMN
Семантика токенов в BPMN заимствована именно из сетей Петри. Формальное доказательство корректности BPMN-моделей часто требует трансформации в эквивалентную сеть Петри.
Существуют расширения сетей Петри — Coloured Petri Nets (CPN), Workflow Nets (WF-nets), специально адаптированные для моделирования бизнес-процессов.
Применение в BPM
Прямое применение сетей Петри в индустриальных проектах редко. Их ниша — теоретическая основа process mining (открытия процессов), формальная верификация моделей, академические исследования. Известная платформа ProM для process mining работает именно с сетями Петри.
Ограничения
- Высокий порог входа для нетехнической аудитории
- Не предназначены для коммуникации с бизнесом
- Слабая инструментальная поддержка для прикладных задач