En l'encreuament entre un carril de tramvia i un carril de cotxes es dóna prioritat al tramvia. Per fer-ho, es controla la presència de tramvies en el tram d'1,5 km abans d'arribar a l'encreuament. Quan el semàfor dels cotxes es posa verd, es manté verd durant 15 s com a mínim, i no passa a vermell fins que es detecta la presència d'un tramvia. El semàfor del tramvia passa a vermell quan no es detecta la presència de cap tramvia. Evidentment, quan el semàfor dels cotxes és verd, el del tramvia és vermell, i viceversa. Es defineix la variable tc com el temps transcorregut des del darrer canvi d'estat dels semàfors.
Variables d'estat:
- sc = {1: semàfor de cotxes verd; 0: semàfor de cotxes vermell}
- cp = {1: tramvies presents; 0: tramvies no presents}
- ct = {1: tc > 15 s; 0: tc ≤ 15 s}
- c = {1: canvien d'estat; 0: no canvien d'estat}