Das geht schnell mit ffmpeg:

ffmpeg -i Inputdatei -r framerate -f image2 Sequenzname-%04d.png

Das Video wird mit framerate (Bilder pro Sekunde) abgetastet.

%04d gibt die Zahl der Stellen für die Bildnummern an (muss natürlich zur erwarteten Einzelbildanzahl passen).