Подробное описание документа

Рудаков И. В., Пащенкова А. В.
   Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри / Рудаков И. В., Пащенкова А. В. - DOI 10.18698/2308-6033-2013-2-538 // Инженерный журнал: наука и инновации. - 2013. - № 2. - П.н. 12.

library.bmstu.ru/Catalog/Details/599021

https://library.bmstu.ru/Catalog/Details…

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