Per a controlar la velocitat dels vehicles a l'entrada d'una població s'ha instal·lat un semàfor que generalment és verd, però que canvia a vermell quan es detecta un vehicle que s'hi apropa a una velocitat superior o igual a 60 km/h. Perquè els vianants puguin travessar la carretera, el semàfor dels cotxes també canvia a vermell si com a mínim fa un minut que és verd i, a més, un vianant prem el polsador que incorpora el mateix semàfor.
Variables d'estat:
- velocitat del vehicle: v = {1: velocitat ≥ 60 km/h; 0: velocitat < 60 km/h}
- temps en verd: t = {1: temps ≥ 1 minut; 0: temps < 1 minut}
- polsador: p = {1: premut; 0: no premut}
- canvi a vermell: c = {1: canvia a vermell; 0: es manté verd}