Figure 5:
Weighted graph after processing the action graph of Figure
4
.