Automatic PLC code generation for synthesis methods of the Supervisory Control Theory

Diese Arbeit befasst sich allgemein mit der SPS-Codegenerierung und deren Problematik für verschiedene Syntheseverfahren der Supervisory Control Theory. Die automatische SPS-Codegenerierung wird für zwei Verfahren umgesetzt. Dafür wird ein Codegenerator entwickelt. Das erste Verfahren ist der lokal-modulare Entwurfsansatz für Automaten und das zweite ist der Steuerungsentwurf mit Stelleninvarianten für Petrinetze. Der generierte SPS-Code wird abschließend anhand einer realen Fertigungszelle verifiziert.This work generally deals with the PLC code generation and their problems for different synthesis methods of the Supervisory Control Theory. The automatic PLC code generation is implemented for two methods. Therefore a code generator is developed. The first method is the local-modular design approach for automata and the second is the control design with place invariants of Petri nets. The generated PLC code is finally verified by a real manufacturing cell