WF-сеть

WF-сеть (Шаблон:Lang-en, также — сеть потоков работ) — вид сети Петри, введённый Шаблон:Iw^[1] для моделирования систем потоков работ.

Сеть Петри $P N = (P, T, F)$ называется сетью потоков работ (WF-сетью), если выполняются следующие условия:

существует только одна исходная позиция $i$ , такая что отсутствуют переходы входящие в $i$ ;
существует только одна конечная позиция $o$ , такая что отсутствуют переходы выходящие из $o$ ;
каждый узел данной сети расположен на пути от $i$ к $o$ .

WF-сети используются для проверки графов потоков работ на наличие таких структурных конфликтов, как «тупики» (Шаблон:Lang-en) и «недостатки синхронизации» (Шаблон:Lang-en). Структурные конфликты отсутствуют, если WF-сеть является бездефектной.

Свойство бездефектности или правильной завершаемости соответствует следующим требованиям:

конечная позиция $o$ достижима при любой последовательности переходов от позиции $i$ ;
WF-сеть не содержит лишних переходов (которые никогда не будут выполнены);
при достижении конечной позиции данной сети не должно оставаться фишек в промежуточных позициях.

Свойство бездефектности соответствует двум хорошо известным свойствам сетей Петри: живости и ограниченности.