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