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)
| Transitions | Conditions | Flow exchangeda |
|
|
| (A.0), (A.6), (A.5), (A.4) |
|
|
| (A.4), (A.5), (A.6), (A.7) |
|
|
| (A.0), (A.6), (A.3), (A.2) |
|
|
| (A.2), (A.3), (A.6), (A.7) |
|
|
| (A.0), (A.5), (A.3), (A.1) |
|
|
| (A.1), (A.3), (A.5), (A.0) |