Рассмотрен механизм верификации рабочих потоков приложений, построенных по спецификации Windows Workflow Foundation и способных изменять бизнес-логику на этапе выполнения. Предложен механизм преобразования рабочих потоков в нотации сетей Петри и приведен пример такого преобразования. Для верификации предложено использовать математический аппарат сетей Петри, анализируя свойства бездефектности замкнутой эквивалентной сети Петри. Дано определение требований, характеризующих бездефектную сеть Петри.

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"