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

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

Скачать документ

Полнотекстовый документ

DOI 10.18698/2308-6033-2013-2-538

https://doi.org/10.18698/2308-6033-2013-…

engjournal.bmstu.ru/catalog/it/hidden/538.html

https://engjournal.bmstu.ru/catalog/it/h…

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