Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри | Инженерный журнал: наука и инновации
Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Статья

Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри

Опубликовано: 01.04.2013

Авторы: Рудаков И.В., Пащенкова А.В.

Опубликовано в выпуске: #2(14)/2013

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

Раздел: Информационные технологии

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


Литература
[1] Норенков И.П. Основы автоматизированного проектирования: учеб. для вузов. М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. 306 с.
[2] Котов В.Е. Сети Петри. М.: Наука, Гл. ред. физ.-мат. лит., 1984. 160 с.
[3] Питерсон Дж. Теория сетей Петри и моделирование систем: пер. с англ. М.: Мир. 1984. 264 с.