In der Diplomarbeit wird ein Beispielsystem aus der Stückgüterfertigungstechnik betrachtet. Die Produktionsanlage besteht aus zwei räumlich getrennten Produktionseinheiten, welche jeweils aus einem Förderband mit einer Qualitätskontrollstation und einer Bearbeitungseinheit zusammengesetzt sind. Ferner gibt es jeweils ein Lager für die Rohteile sowie für die Produkte und es steht ein autonomes Fahrzeug zum Transport der einzelnen Werkstücke / Produkte zwischen den verschiedenen Anlagenteilen zur Verfügung. 
In der Diplomarbeit soll der beschriebene Produktionsprozess in ein hierarchisches Modell abgebildet werden, wobei auf der unteren Ebene des  Verhalten der einzelnen Komponenten / Ressourcen durch hybride Automaten und auf der oberen Ebene der Zustand des Produktionsablaufs durch  Echtzeitautomaten repräsentiert werden sollen. Die Optimalsteuerungsaufgabe der Produktionsanlage soll durch eine vertikale Dekomposition gelöst werden,  wobei auf der oberen Ebene ein Scheduling-Problem betrachtet und auf der unteren Ebene ein mengenorientierter Lösungsansatz verwendet werden soll.