Optimierung ereignis-diskreter Simulationsmodelle im ProC/B-Toolset

Das Interesse an der Modellierung und Analyse großer Netze in der Logistik liegt häufig in der optimalen Ausgestaltung eines geplanten Systems oder der optimalen Reorganisation eines bestehenden Systems. In beiden Fällen besteht das Ziel darin, die modellseitig vorhandenen Freiheitsgrade derart auszufüllen, dass die System-Anforderungen hinsichtlich Leistungsfähigkeit, Zuverlässigkeit und/oder Kosten optimal oder zumindest nahezu optimal erfüllt werden. Aus methodischer Sicht ist die Wahl der Freiheitsgrade somit eine Optimierungsaufgabe auf einem i.A. mehrdimensionalen Suchraum, deren Zielfunktion meist durch ein komplexes Simulationsmodell beschrieben ist. Da die Auswertung eines einzigen Punktes aus dem Suchraum durch einen Simulationslauf häufig bereits sehr zeitintensiv ist, und da die Simulationsresultate zudem stochastischen Charakter haben, lässt sich obige Optimierungsaufgabe nur anhand spezieller, an die Simulation angepasster Optimierungsverfahren lösen.