-> Hier kostenlos registrieren
Hallo,
ich stehe aktuell vor der Herausforderung, Grafcets automatisch in ST zu überführen. Das ganze ist Teil eines größeren Projektes und ich komme auch gut voran, habe nur hinsichtlich der formellen Absicherung noch Verständnisschwierigkeiten. Bitte korrigiert mich bei allem, wo ich falsch liege: Grafcet beschreibt "synchronous machines", in denen Zustandsübergänge ereignisgesteuert und gleichzeitig stattfinden. Eine PLC ist aber nunmal sequentiell - ich gehe hier auch von der ein-Prozessor-ein-Task-Programmierung aus.
Im Bild unten jetzt ein Grafcet mit dem Fall, der mir Probleme bereitet: Was passiert, nachdem die oberste Transition gefeuert hat? Ist der Output (a=1,x=1) oder (a=1,x=0)? Im Falle der SFC ist die Auswertung von Aktionen und Transitionen implementierungsabhängig, im Falle von Codesys von links nach rechts. Dort wäre der Output im ersten Zyklus also klar (a=1,x=1). Da bei Grafcet aber alles gleichzeitig passiert, bin ich mir unsicher. Kann jemand helfen?
Bonuspunkte für Hinweise zu weiterem Material, dass mir bei dem Verständnis der Herausforderungen von parallelen Konstrukten wie in Grafcet aus sequentiellen Maschinen helfen kann.
Vielen Dank.
Max
ich stehe aktuell vor der Herausforderung, Grafcets automatisch in ST zu überführen. Das ganze ist Teil eines größeren Projektes und ich komme auch gut voran, habe nur hinsichtlich der formellen Absicherung noch Verständnisschwierigkeiten. Bitte korrigiert mich bei allem, wo ich falsch liege: Grafcet beschreibt "synchronous machines", in denen Zustandsübergänge ereignisgesteuert und gleichzeitig stattfinden. Eine PLC ist aber nunmal sequentiell - ich gehe hier auch von der ein-Prozessor-ein-Task-Programmierung aus.
Im Bild unten jetzt ein Grafcet mit dem Fall, der mir Probleme bereitet: Was passiert, nachdem die oberste Transition gefeuert hat? Ist der Output (a=1,x=1) oder (a=1,x=0)? Im Falle der SFC ist die Auswertung von Aktionen und Transitionen implementierungsabhängig, im Falle von Codesys von links nach rechts. Dort wäre der Output im ersten Zyklus also klar (a=1,x=1). Da bei Grafcet aber alles gleichzeitig passiert, bin ich mir unsicher. Kann jemand helfen?
Bonuspunkte für Hinweise zu weiterem Material, dass mir bei dem Verständnis der Herausforderungen von parallelen Konstrukten wie in Grafcet aus sequentiellen Maschinen helfen kann.
Vielen Dank.
Max