Automatengraphen erstellen

Gast #745191
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
Gast #745516
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

Antwort schreiben

Eine eigene Frage? Dieser Thread ist über 18 Jahre alt. Stell sie in einem eigenen Thread – dort lesen mehr Leute mit, und sie wird öfter und schneller beantwortet.

Neuen Thread starten

Eine Lösung, Ergänzung oder Rückmeldung zu diesem Thread? Dann antworte hier.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.