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