Timed Event Graphs
10:10
Clock :
P
F
≤12
≤12