Automatengraphen erstellen

[Kevin (Gast)]

Hallo,
Habe folgende Aufgabe:

Ein Förderband befördert Päckchen. Die Päckchen kommen synchron mit 
einem Takt an. Sie werden mit einer Kamera kontrolliert. Ist eines 
kaputt, so wird dieses mit einer "1" gemeldet. Ist es heil, so liefert 
der Sensor eine "0". Wird eine "1" gemeldet, so leuchtet die Lampe 
"Störung"für einen Takt. Die Päckchen laufen jedoch weiter. Werden 3 
Päcken nacheinander gemeldet, so wird die Anlage abgeschatet "Aus = "1".

Nun komme ich dazur meine Variablen rauszuschreiben:

Eingänge:

- Takt

Ausgänge:

- Lampe

Wo bringe ich "Abschaltung der Anlage" .. und so unter ?

Meine Zustände sind doch:

Päckchen 1, Päckchen2 und Päckchen 3, oder ?

Verbessert mich bzw gebt mir nen Denkanstoß in die richtige Richtung, 
danke

[daniel (Gast)]

ich würde sagen, 4 Zustände
Ok, Failed1, Failed2, Stop

input ist Sensor = {0,1}

Ok->Ok, wenn Sensor 0
OK->Failed1, wenn Sensor 1
Failed1->Ok, wenn Sensor 0
Failed1->Failed2, wenn Sensor 1
Failed2->Ok, wenn Sensor 0
Failed2->Stop, wenn Sensor 1
Failed2->Failed2, always (Sensor 0 oder 1)

Die Geschichte mit dem Takt ist eher nur am Rande interessant
denke ich. Man könnte ja die Übergangsbedingungen synchron machen
und sagen
wenn posedge & sensor==1, dann ...

gruss, daniel