Im Vortrag werden die Formalismen zur Beschreibung und Analyse komplexer technischer Systeme mit diskreten Ereignissen kurz vorgestellt. Auf dieser Grundlage, werden die Möglichkeiten zur systematischen Entwicklung von Steuerungsalgorithmen für diese Systeme diskutiert. Anschließend werden ausgewählte Methoden und Techniken zur Implementierung der entwickelten Steuerungsalgorithmen in Software angesprochen.