Использование сетей Петри для локализации ошибок в процессе системной отладки комплексов программ

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