03 · 衝突を解消する
04 · 時系列を出力する
A₀
p
x
q
Aɢ
B₀
r
s
Bɢ
A
B
A₀
p
x
q
Aɢ
B₀
r
s
Bɢ
A
B
B は t=2 に x を占有しない
修正の一例：r で待機
修正前 · t=2
修正後 · t=2
t=0
t=1
t=2
t=3
t=4
t=5
A
A₀
p
x
q
Aɢ
Aɢ
B
B₀
r
r
x
s
Bɢ
A は t=2、B は t=3 に x を通過
説明用の例（Illustrative example）・同じ四地点を訪問し、到着後は各自の目的地に留まります。