Timed Event Graphs
10:10
Clock :
P
F
<12
<12
10
11