Un_nombre es el identificador del semáforo.