Petrinetze für die (SPS-)Programmentwicklung

Petrinetze eignen sich, im Gegensatz zur IEC 61131- Ablaufsprache (SFC bzw. AS oder S7 Graph) für die Progammierung des übergeordneten groben Ablaufs genauso gut, wie für die Programmierung detaillierter Einzelheiten, bei höchster Transparenz. Literatur zum Thema.

IEC 61131- restriktive Ablaufsprache: Die Ablaufsprache (SFC bzw. AS oder S7 Graph) der IEC 61131 zeichnet sich auch durch einige Festlegungen aus, die hinderlich für die Programmgestaltung sind.
Die Ablaufsprache der IEC 61131 verbietet z. B. ein programmgesteuertes Setzen bzw. Rücksetzen von Schritten. Dadurch verbietet sich ein einfaches Programm, das die natürlichen Gegebenheiten transparent abbildet. Resultierend sind höhere Kosten, insbesondere bei der Programmpflege, zu erwarten und im Allgemeinen tritt eine Performanceminderung ein.
Vergleichen Sie die IEC 61131- SFC- Restriktionen mit den Freiheitsgraden der Petrinetze.

Es ist immer wieder eine Kunst Steuerungsprogramme zu erstellen!