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

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


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

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


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

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


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

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


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

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


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

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