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