Zustandsautomat erstellen.herangehensweise?

Hi,

ich habe folgendes Problem. Wir sollen eine kleine Bus-Steuerung 
entwerfen welche zunächst binär zahl 1 liest und speichert danach binär 
zahl 2 liest und zu binärzahl 1 addiert. Das ganze dann Auf einem 
Hexdisplay ausgegeben.

Das ganze soll als Bussteuerung entworfen werden. Im Anhang ist das 
Schema sowie das Zeitablaufdiagramm.

So es ist auch alles soweit fertig also addierer eingabe ausgabe...nur 
das die Ansteuerung gemäß Zeitablaufdiagramm noch fehlt, da weiß ich 
nicht genau wie ich die Zustandstabelle aufstellen soll.

Zunächst einmal, folgende Bauteile stehen mir zur Verfügung.

10x And-Gatter mit 4 Eingängen (Haben alle auch negierte Ausgänge)
7x Or-Gatter ebenfalls mit 4 Eingängen und negierten Ausgängen
2x And-Gatter mit nur 2 Eingängen und negierten Ausgängen
und 5x D-Flipflops

Nach dem Betätigen von !Start soll die Rechenoperation von der Steuerung 
eingeleitet werden. Erneutes betätigen von start soll aber auf keinen 
fall eine erneute rechenoperation auslösen.

So ich glaube das müsste alles sein. Mein Problem ist die 
herangehensweise an die Aufgabe und ich habe nur 5x Flipflops aber 6 
Ein/Ausgänge (TS1,TS2,TS3,Takt,!R,Anz). wie realisier ich das?

Hoffe mir kann jemand weiterhelfen. Mir würde schon Hilfe zur Aufstellen 
der Zustandstabelle reichen