No momento da reinicialização, o sistema deve passar primeiro por alguns procedimentos, a fim de identificar todas as transações APENAS do tipo
T1 a T2.
T1 a T3.
T2 a T4.
T2 a T5.
T3 a T5.