10.18453/rosdok_id00005786 Jammer, David David Jammer http://d-nb.info/gnd/1418877840 Universität Rostock 2025 004 Data processing Computer sciences 620 Engineering & allied operations 2025 de https://purl.uni-rostock.de/rosdok/id00005786 urn:nbn:de:gbv:28-rosdok_id00005786-8 In dieser Arbeit werden zwei Problemstellungen bearbeitet. (i) Der Vorschlag von Junglas wird aufgegriffen und es wird ein vollständiger NSA-DEVS-Formalismus entwickelt. Zur Verifikation wird ein komplexes Praxisproblem aus dem Bereich der Produktionstechnik mit NSA-DEVS modelliert. (ii) Darüber hinaus werden mit diesem Modell Simulationsstudien auf einem HPC-System ausgeführt und analysiert, um zu prüfen, ob mit NSA-DEVS komplexe und hochkomplexe Simulationsexperimente auf Systemen der Klasse bis 100.000 Euro in akzeptabler Zeit durchführbar sind.