WF-сети — подкласс сетей Петри, называемый также сетями потоков работ. Формализм WF-сетей введён Вил ван дер Аальстом (англ. Wil van der Aalst) для моделирования потоков работ в workflow-системах.
Сеть Петри PN = (P,T,F) называется сетью потоков работ (WF-сетью), если выполняются следующие условия:
- существует только одна исходная позиция i, такая что отсутствуют переходы входящие в i;
- существует только одна конечная позиция o, такая что отсутствуют переходы выходящие из o;
- каждый узел данной сети расположен на пути от i к о.
WF-сети используются для проверки графов потоков работ на наличие таких структурных конфликтов, как «тупики» (англ. deadlocks) и «недостатки синхронизации» (англ. lack of synchronization). Структурные конфликты отсутствуют, если WF-сеть является бездефектной.
Свойство бездефектности или правильной завершаемости соответствует следующим требованиям:
- конечная позиция o достижима при любой последовательности переходов от позиции i;
- WF-сеть не содержит лишних позиций (которые никогда не будут выполнены);
- при достижении конечной позиции данной сети не должно оставаться фишек в промежуточных позициях.
Свойство бездефектности соответствует двум хорошо известным свойствам сетей Петри — живости и ограниченности.
 |
Это заготовка статьи по математике. Вы можете помочь проекту, дополнив её. |
 | Для улучшения этой статьи желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .