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).