Tengo bien este pequeño ejercicio de XML?

[Helbira]

A ver.... no puedo mirarte exactamente la sintaxis en DTD pero en vez de poner el identificador de cada semanafor entre las etiquetas ponlo como un atributo id o name o com oqueras y pon que su tipo es ID (no recuerdo si era ID o KEY). Con eso estas diciendo que no puede haber dos etiquetas <semaforo> con el mismo valor en el atributo id y, por tanto, no podrá para un mismo semaforo dos estados simultaneamente.