Iniciar P1	comienza plan P1
Iniciar T1	iniciada
Iniciar T2	iniciada
T1_Read(X)	T1 lee de elemento "X"	TStamp T1=1 TS_lect_X=1 TS_escr_X=0
T2_Read(X)	T2 lee de elemento "X"	TStamp T2=2 TS_lect_X=2 TS_escr_X=0
T1_Write(X)	T1 abortada al escribir "X" (TS_lect > TStamp)	TStamp T1=1 TS_lect_X=2 TS_escr_X=0
T2_Write(X)	T2 escribe en "X"	TStamp T2=2 TS_lect_X=2 TS_escr_X=2
Validar T2	validada
Validar T1	ERROR: transaccion abortada
fin Plan P1	plan P1 finalizado

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


Iniciar P2	comienza plan P2
Iniciar T1	iniciada
Iniciar T2	iniciada
T1_Read(X)	T1 lee de elemento "X"	TStamp T1=3 TS_lect_X=3 TS_escr_X=0
T2_Read(X)	T2 lee de elemento "X"	TStamp T2=4 TS_lect_X=4 TS_escr_X=0
T2_Write(X)	T2 escribe en "X"	TStamp T2=4 TS_lect_X=4 TS_escr_X=4
T1_Write(X)	T1 abortada al escribir "X" (TS_lect > TStamp)	TStamp T1=3 TS_lect_X=4 TS_escr_X=4
Validar T1	ERROR: transaccion abortada
Validar T2	validada
fin Plan P2	plan P2 finalizado

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


Iniciar P3	comienza plan P3
Iniciar T1	iniciada
Iniciar T2	iniciada
T1_Read(X)	T1 lee de elemento "X"	TStamp T1=5 TS_lect_X=5 TS_escr_X=0
T2_Write(X)	T2 escribe en "X"	TStamp T2=6 TS_lect_X=5 TS_escr_X=6
T2_Read(X)	T2 lee de elemento "X"	TStamp T2=6 TS_lect_X=6 TS_escr_X=6
T1_Write(X)	T1 abortada al escribir "X" (TS_lect > TStamp)	TStamp T1=5 TS_lect_X=6 TS_escr_X=6
Validar T2	validada
Validar T1	ERROR: transaccion abortada
fin Plan P3	plan P3 finalizado

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


Iniciar P4	comienza plan P4
Iniciar T1	iniciada
Iniciar T2	iniciada
T1_Read(X)	T1 lee de elemento "X"	TStamp T1=7 TS_lect_X=7 TS_escr_X=0
T2_Write(X)	T2 escribe en "X"	TStamp T2=8 TS_lect_X=7 TS_escr_X=8
T1_Write(X)	T1 NO ESCRIBE (TS_escr > TStamp y Thomas)	TStamp T1=7 TS_lect_X=7 TS_escr_X=8
T2_Read(X)	T2 lee de elemento "X"	TStamp T2=8 TS_lect_X=8 TS_escr_X=8
Validar T2	validada
Validar T1	validada
fin Plan P4	plan P4 finalizado

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


Iniciar P5	comienza plan P5
Iniciar T1	iniciada
Iniciar T2	iniciada
T1_Read(X)	T1 lee de elemento "X"	TStamp T1=9 TS_lect_X=9 TS_escr_X=0
T1_Write(X)	T1 escribe en "X"	TStamp T1=9 TS_lect_X=9 TS_escr_X=9
T2_Read(X)	T2 lee de elemento "X"	TStamp T2=10 TS_lect_X=10 TS_escr_X=9
T2_Write(X)	T2 escribe en "X"	TStamp T2=10 TS_lect_X=10 TS_escr_X=10
Validar T2	validada
Validar T1	validada
fin Plan P5	plan P5 finalizado

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


Iniciar P6	comienza plan P6
Iniciar T1	iniciada
Iniciar T2	iniciada
T1_Read(X)	T1 lee de elemento "X"	TStamp T1=11 TS_lect_X=11 TS_escr_X=0
T1_Write(X)	T1 escribe en "X"	TStamp T1=11 TS_lect_X=11 TS_escr_X=11
T2_Write(X)	T2 escribe en "X"	TStamp T2=12 TS_lect_X=11 TS_escr_X=12
T2_Read(X)	T2 lee de elemento "X"	TStamp T2=12 TS_lect_X=12 TS_escr_X=12
Validar T2	validada
Validar T1	validada
fin Plan P6	plan P6 finalizado

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