Discrete Event Simulations
Suppose we try to execute in parallel events E1 and E2 at times t1 and t2 with t1 > t2.
We show the timelines of several(4) objects in the system and our two events E1 and E2
If E1 generates no interfering events or one E*12 at a time greater than t2 then our parallel execution of E2 is consistent
However if E1 generates E12 before t2 then execution of E2 has to be rolled back and E12 should be executed first