1 2 3 4 5 6 7 8 9 10 …

still valid. LOCK LOCK_nLOCK_1 ... OPEN_GC_DOOR UNLOCK UNLOCK_1 ... UNLOCK_n MOVE LOCK LOCK_nLOCK_1 ... OPEN_GC_DOOR UNLOCK UNLOCK_1 ... UNLOCK_n MOVE MLG_4MLG_3MLG_2MLG_1NOSE_GEAR ... ... ... RELEASE [...] sequences: Let T1, T2, T3 be subsequent members of a task sequence. Assume that T1 and T3 were both marked but the changes made by T1 do not make it necessary to invoke T2, the validation TR T1 T2 T3 T4 process [...] would be set in non-ascending order, e.g.: R(T1)=7, R(T2)=7, R(T3)=6, R(T4)=5, and in general: R(Tr) = max { R(Ti) | Ti is task of Tr} = R(T1) , where T1 is the first task in the sequence. The relative …