Ma méthode :
Commencer par envisager feu par feu ce qui peut justifier son état allumé.
- le feu le plus contraignant est laissé "en blanc" (pas de déclencheur)
- mettre un OU en début de chaque liste de déclencheurs (ça c'est pour pouvoir rajouter des combinaisons qu'on aurait oubliées).
- continuer avec des combinaisons ET, en utilisant en priorité les positions d'aiguilles, puis les états des indicateurs.
Puis, on peut ajouter en combinaison : des activations d'itinéraire, des réservations de canton, des cantons avec sens de circulation, des signaux de canton,... et plus généralement, tout élément qui peut influer sur l'activation du feu.
Chaque feu devient un cas particulier...
Exemple :