Значение слова wf-сети

WF-сети — подкласс сетей Петри , называемый также сетями потоков работ. Формализм WF-сетей введён Вил ван дер Аальстом для моделирования потоков работ в workflow-системах .

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

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

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

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

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

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