El truco es dibujar la cola de listos en cada tiempo.
t0) listos: P1 <-- ejecuta (q1)
t1) listos: P1 <-- ejecuta (q2)
t2) listos: P1 P2 <-- ejecuta (q1)
t3) listos: P1 P2 <-- ejecuta (q2)
t4) listos: P2 P1 <-- ejecuta (q1)
t5) listos: P3 P2 P1 <-- ejecuta (q2)
t6) listos: P1 P3 P2 <-- ejecuta (q1)
.
.
.
Es decir, está claro que en t6 entra P2 si la secuencia es la anterior. Lo que no está tan claro es que en t3 entre P2 y no P1; depende de qué ocurra antes si la creación del proceso o la llamada al planificador. Dado que ambas cosas ocurren de forma asíncrona en un sistema operativo, o lo especifican, o la siguiente solución es, también, correcta:
t0) listos: P1 <-- ejecuta (q1)
t1) listos: P1 <-- ejecuta (q2)
t2) listos: P2 P1 <-- ejecuta (q1) [ejecuta P1 pues el planificador solo vió a P1 en la lista, P2 llegó tras ejecutarse este]
t3) listos: P2 P1 <-- ejecuta (q2)
t4) listos: P1 P2 <-- ejecuta (q1)
t5) listos: P3 P1 P2 <-- ejecuta (q2)
t6) listos: P2 P3 P1 <-- ejecuta (q1)
.
.
.
Como ves, en ninguno de los dos casos entra P3 puesto que cuando llega hay otro proceso esperando a ser ejecutado.
Por cierto, un quanta de 2 no es necesariamente pequeño... ¿por qué iba a serlo?
Saludos.