Buenas, quiero saber si voy bien encaminado.
La que se me ocurrió para definir los estados es lo siguiente.
Un estado 
para representar cuando todas las luces están apagagas, otro estado 
para representar cuando todas están prendidas, y luego los estados 
para representar los colores. Añadiendo unos estados adicionales 
para la parte de los dos segundos en cada color.
La idea es que si el switch está en 2, se va iterando sobre los estados sucesivamente.
Y si se está en el 3, se hace algo similar pero pasando por los estados dobles de cada uno; es decir, la secuencia sería la siguiente: 
Les dejo la tabla de estados:
Gracias,
Thiago.