Iniciar P7	comienza plan P7
Iniciar T1	iniciada
Iniciar T2	iniciada
T2_Write(X)	T2 escribe en "X"	TStamp T2=2 TS_lect_X=0 TS_escr_X=2
T1_Read(X)	T1 abortada al leer"X" (TS_escr > TStamp)	TStamp T1=1 TS_lect_X=0 TS_escr_X=2
T1_Write(X)	ERROR: transaccion abortada
Validar T2	validada
Validar T1	ERROR: transaccion abortada
fin Plan P7	plan P7 finalizado

----------------------------------------------------------------


Iniciar P8	comienza plan P8
Iniciar T1	iniciada
Iniciar T2	iniciada
T1_Read(Y)	T1 lee de elemento "Y"	TStamp T1=3 TS_lect_Y=3 TS_escr_Y=0
T1_Write(Y)	T1 escribe en "Y"	TStamp T1=3 TS_lect_Y=3 TS_escr_Y=3
T2_Write(X)	T2 escribe en "X"	TStamp T2=4 TS_lect_X=0 TS_escr_X=4
T1_Read(X)	T1 abortada al leer"X" (TS_escr > TStamp)	TStamp T1=3 TS_lect_X=0 TS_escr_X=4
T1_Write(X)	ERROR: transaccion abortada
Validar T2	validada
Validar T1	ERROR: transaccion abortada
fin Plan P8	plan P8 finalizado

----------------------------------------------------------------