WF-сети

WF-сети

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-сеть не содержит лишних позиций (которые никогда не будут выполнены);
  • при достижении конечной позиции данной сети не должно оставаться фишек в промежуточных позициях.

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


Формула
Wiki letter w.svg
 Для улучшения этой статьи желательно?:
  • Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Полезное


Смотреть что такое "WF-сети" в других словарях:

  • Сети — Сети: Сети I египетский фараон Сети II египетский фараон теория графов и теория сетей эти названия используются для одного математического понятия SETI (программа поиска внеземных цивилизаций) «Сети» музыкальная группа. «Сети» книга стихов… …   Википедия

  • СЕТИ — теория графов и теория сетей эти названия используются для одного математического понятия SETI (программа поиска внеземных цивилизаций) «Сети» музыкальная группа. «Сети» книга стихов Михаила Кузмина. передачи данных I II Сети SOHO Инженерные… …   Википедия

  • сети — Тенета, путы, узы, силок. Расставлять сети, копать яму, строить козни. Сети рыбачьи (рыболовные): невод, бредень, мережа, волокуша, недотка, ахан, ставная, плавная, погоняй, яруча, перестав и проч. Сети птицеловные: перевес, шатер, крылена,… …   Словарь синонимов

  • Сети-Лагоас (микрорегион) — Сети Лагоас на карте. Сети Лагоас (порт. Microrregião de Sete Lagoas)  …   Википедия

  • СЕТИ I — (изображение из гробницы фараона в Долине Царей). (Seti I), второй царь XIX династии в Египте, правивший в 1337 1317 до н.э. Сети наследовал престол своего отца, Рамсеса I, будучи уже вполне зрелым человеком. В первый год царствования он взялся… …   Энциклопедия Кольера

  • Сети — египетский фараоны XIX династии: 1) Сети I (1337 1317 до н.э.), второй царь этой династии. Возобновил попытки возвратить утраченные при Аменхотепе IV владения Египта в Сирии и Палестине. Захватил Тир, вел воину и заключил перемирие с хеттами. При …   Энциклопедия мифологии

  • Сети (группа) — Сети Годы c 2002 Страны …   Википедия

  • СЕТИ ПРОТИВОЛОДОЧНЫЕ — средство обнаружения и уничтожения подводных лодок в подводном положении. Для защиты кораблей от торпед служат сети противоторпедные. Сети противолодочные и сети противоторпедные устанавливаются заградителями …   Большой Энциклопедический словарь

  • СЕТИ I — (древнеегипетское «Принадлежащий Сету (см. СЕТ (в мифологии))»), египетский фараон ок. 1303 1290 до н. э. Сын Рамсеса I (см. РАМСЕС I), с 1304 до н. э. его соправитель. Сумел отвоевать значительную часть прежних владений Египта на Ближнем Востоке …   Энциклопедический словарь

  • Сети зла — Dragnet Жанр комедия Режиссёр Том Манкевич …   Википедия

  • Сети-НН — ТС Сети НН Страна  Россия Зона вещания Нижний Новгород Сети НН телеканал Нижнего Новгорода. Сетевой партнёр РЕН c 2003 …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»