Cтраница 5
Обычно можно предположить, что за время восстановления отказа в одной секции отказ в других секциях произойти не может. Тогда граф состояний разбивается на отдельные подграфы, имеющие общую вершину. Этой вершине отвечает - исправное состояние участка. Каждый подграф соответствует одной секции и указывает возможные переходы между состояниями этой секции. [61]