Modellierung, Analyse und Simulation komplexer Systeme des spurgebundenen Verkehrs mit hybriden höheren Petrinetzen

点击翻译按钮获取中文摘要

Gegenstand dieses Vorhabens ist die Erforschung der Anwendung des am Institut des Antragstellers im Rahmen des Projekts VEBASI entwickelten Beschreibungsmittels für die Modellierung, Analyse und Simulation diskretkontinuierlicher technischer Systeme. Dabei wird ein analytisch symbolischer Ansatz auf der Basis höherer hybrider Petrinetze verfolgt. Die Schwerpunkte des Arbeitsprogramms liegen in den drei Bereichen Modellierung ausgewählter komplexer Problemstellungen des spurgebundenen Verkehrs, Analyse der hybriden Modelle mit symbolischen Verfahren und modulare Simulation mittels erweiterter Softwareunterstützung.