Según lo que entiendo de las máquinas de estados, el timer debería empezar cuando se envía el pqt0. Probablemente lo dibujaron como que empieza cuando se manda el 2 para ilustrar que se acaba el tiempo de espera por el ACK de ese paquete. En realidad el escenario que plantea la imagen solo sería válido si ACK0 y ACK1 hubieran llegado al emisor antes de enviar pqt2.
En el caso planteado debería reiniciarse el timer cuando llega ACK0 y otra vez cuando llega ACK1.