Работа посвящена вопросам оценки сложности графо-логических моделей (GL-моделей) поведения отказоустойчивых многопроцессорных системы (ОМС) в потоке отказов. Формулируется и доказывается ряд утверждений, которые помогают разработчикам ОМС оценить на этапе проектирования сложность преобразования GL-модели циклического типа, проводимого путём добавления дополнительных ребер и, тем самым, сделать обоснованный выбор типа базовой GL-модели. Для доказательства утверждений используется математический аппарат теории графов. Ключевые слова: отказоустойчивые многомодульные системы, графо-логические модели, раскраска графа, элементарный цикл.
