Automatische Codegenerierung ist ein weit verbreitetes Thema, welches in einer Vielzahl von Fachartikeln behandelt wird. Die in diesen Artikeln verwendete Steuerungssynthese hat den Vorteil, dass Risiken, die bei einer intuitiven Programmierung auftreten, reduziert werden. Es gibt unterschiedlichste Ansatze, um eine Steuerung, die mittels Steuerungssynthese entwickelt wird, in eine Programmiersprache einer SPS zu konvertieren. Die Theorie dieser Ansatze...