Gracias Profe. Ya entedí el sistema, si hay un paquete chico pasa por A, luego por B, pero no realiza el etiquetado ni el desvío. Es decir, va a prender ambos sensores por 1 tck, por eso mismo en el diagrama vuelvo a q0. Había entendido mal la letra.