Transitions

Conditions

Flow exchangeda

et

(A.0), (A.6), (A.5), (A.4)

et

(A.4), (A.5), (A.6), (A.7)

et

(A.0), (A.6), (A.3), (A.2)

et

(A.2), (A.3), (A.6), (A.7)

et

(A.0), (A.5), (A.3), (A.1)

et

(A.1), (A.3), (A.5), (A.0)