[0,0] [0,0] | | | | E1[1,0] [0,0] E3[1,0] [0,0] | | | | S1[2,0]-------->[2,1] [1,0] E4[0,1] | | | | [2,0] E2[2,2] [1,0] E5[0,2] | | | | ... ... ... ... So E1 < E2 if V[E1] < V[E2] V[E1] = [1,0], V[E2] = [2,1] V[E1] < V[E2] => E1 < E2 V[E3] = [1,0], v[E4] = [0,1] V[E3] !< V[E4] => E3 !< E4 V[E4] !< V[E3] => E4 !< E3 => Concurrent! 19