const N=2
range T = 0..N
range ID = 1..N

DEPASSE_PAS1 = C1[1],
C1[i:ID] = ( [i].entreeAB -> C1[i%N+1] ).
DEPASSE_PAS2 = C2[1],
C2[i:ID] = ( [i].sortieAB -> C2[i%N+1] ).

||CONVOI_A = ([i:ID]:TrainA2 || DEPASSE_PAS1 || DEPASSE_PAS2).
||CONVOI_B = ([i:ID]:TrainB2 || DEPASSE_PAS1 || DEPASSE_PAS2).

||TRAINS = (trainA:CONVOI_A || trainB: CONVOI_B).

CHEMIN_AB = CHEMIN_AB[0][0],
CHEMIN_AB[na:T][nb:T]= (
	when (nb ==0) trainA[i:ID].entreeAB -> CHEMIN_AB[na+1][nb]|
	trainA[j:ID].sortieAB -> CHEMIN_AB[na-1][nb]|
	when (na ==0) trainB[i:ID].entreeAB -> CHEMIN_AB[na][nb+1]|
	trainB[j:ID].sortieAB -> CHEMIN_AB[na][nb-1]).

||Reseau3 = ( CHEMIN_AB || TRAINS).