SPS-Softwareentwicklung mit Petrinetzen

Zu steuernde Prozesse weisen meist sequentielle und häufig zusätzlich parallele, dynamische Verhaltensmuster, sowohl im groben Ablauf als auch bei detaillierter Betrachtung, auf. 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 HW-Kosten oder zusätzliche funktionale Eigenschaften zu bzw. ermöglicht ein Projekt überhaupt erst. Derartige Forderungen sind insbesondere für kleine und dezentrale Steuerungen, 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 Performancesteigerung und diskutiert Codierungsvarianten und die Plattformunabhängigkeit der Petrinetze.