NAME tfpg
INFINITY_SEMANTICS_OPEN
AND SYS_DEAD MONITORED
OR S1_WO
OR B1_DEAD
OR B1_LOW MONITORED
OR G1_DEAD
FM G1_OFF
FM S1_OFF
OR S2_WO
OR B2_DEAD
OR B2_LOW MONITORED
OR G2_DEAD
FM G2_OFF
FM S2_OFF
MODES primary,secondary_1,secondary_2
EDGE e1 G1_OFF G1_DEAD 0 0 (primary,secondary_1,secondary_2)
EDGE e2 G1_DEAD B1_LOW 0 100 (primary,secondary_1)
EDGE e3 B1_LOW B1_DEAD 5 10 (primary,secondary_1)
EDGE e4 B1_DEAD S1_WO 0 1 (primary,secondary_1)
EDGE e5 S1_OFF S1_WO 0 0 (primary,secondary_1,secondary_2)
EDGE e6 S1_WO SYS_DEAD 0 1 (primary,secondary_1,secondary_2)
EDGE e7 G2_OFF G2_DEAD 0 0 (primary,secondary_1,secondary_2)
EDGE e8 G2_DEAD B2_LOW 0 100 (primary,secondary_2)
EDGE e9 B2_LOW B2_DEAD 5 10 (primary,secondary_2)
EDGE e10 B2_DEAD S2_WO 0 1 (primary,secondary_1)
EDGE e11 S2_OFF S2_WO 0 0 (primary,secondary_1,secondary_2)
EDGE e12 S2_WO SYS_DEAD 0 1 (primary,secondary_1,secondary_2)
EDGE e13 B1_DEAD S2_WO 0 1 (secondary_1)
EDGE e14 B2_DEAD S1_WO 0 1 (secondary_2)