Zu steuernde Prozesse weisen meist sequenzielle und häufig zusätzlich parallele, dynamische Verhaltensmuster auf, sowohl im groben Ablauf als auch bei detaillierter Betrachtung. Eine geeignete Methode, derartige Prozesse zu beherrschen, ist in der Lage, die Prozess- und Steuerungseigenschaften anschaulich abzubilden. Dazu sind nur Ablaufsprachen in der Lage. Steuerungen müssen Echtzeitforderungen des gesamten Prozesses erfüllen. Eine Hochgeschwindigkeits-Codierung lässt eine Minimierung der Hardware-Kosten oder zusätzliche funktionale Eigenschaften zu bzw. ermöglicht ein Projekt überhaupt erst. Derartige Forderungen sind insbesondere für kleine und dezentrale sowie Steuerungen in Serienmaschinen von Bedeutung. Der tägliche Betrieb im Alltag fordert von der Steuerung ein Konzept, das die Ursachenforschung bei Störungen unterstützt, und für Erweiterungen, dass sich das Programmmodell durch hohe Transparenz auszeichnet. Auch wie diese Anforderungen zu lösen sind, ist beschrieben. Dieses Buch behandelt die allgemeinen theoretischen Grundlagen, die speziellen Aspekte hinsichtlich der SPS (IEC-61131-codierte Beispiele). Es vergleicht die Eigenschaften der IEC-61131-Ablaufsprache und die der Petrinetze auf Eignung zur Grob- und Detailprogrammierung und Transparenz. Es zeigt Methoden zum allgemeinen strukturellen Programmentwurf, diskutiert die richtige Sprachwahl und deren Auswirkung, Anwendung verschiedener Modellierungskonzepte, Verfahren zur Fehlerbehandlung, Integration von textbasierten und signalflussorientierten (FBS) Sprachen, Methoden der Codierung unter Nutzung topologischer und dynamischer Netzeigenschaften für Hochgeschwindigkeitsnetze, allgemeine Codeoptimierung zur Performance-Steigerung und diskutiert Codierungsvarianten und die Plattformunabhängigkeit der Petrinetze.