mycoreobjectrosdok_disshab_0000003659rosdok_disshab_0000003659rosdokdisshabrosdok_derivate_00002295082026-09-09T14:01:39.108Z2026-09-09T13:34:30.183ZMCRJANITOReditorFGpublished1rosdok_derivate_0000229508truetruederivate_types:fulltextVolltextfulltextwf_edit_epub wf_register_epubstate:publishedstate:publishedveröffentlichtpublishedrosdok_id000057861983637424Oau2026-09-092026-09-09T13:52:38ZrdaConverted from PICA to MODS using Pica2MODS XSLT Transformer 2.14-SNAPSHOT [SCM: "" "" ""] with mode 'DEFAULT'.DissertationHochschulschriftBeschleunigung von Diskret-Ereignisorientierten Simulationsstudien unter Verwendung des DEVS-Formalismus auf HPC-SystemenIn 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.This paper considers two topics. (i) Junglas' approach is adopted in this work, and a complete NSA-DEVS formalism is developed. For verification purposes, a complex practical problem from the field of production engineering is modeled using NSA-DEVS. (ii) In addition, simulation studies are performed and analyzed on an HPC system using this model to verify whether NSA-DEVS can be used to perform complex and highly complex simulation experiments on systems costing up to €100,000 within an acceptable time frame.DavidJammer1990 -VerfasserInaut1418877840TorstenJeinsch1970 -AkademischeR BetreuerIndgs10668829400000-0002-8287-2544Institut für Automatisierungstechnik, Universität RostockFelixBreiteneckerAkademischeR BetreuerIndgs135937086Institut für Analysis und Scientific Computing, TU WienSvenPawletta1964 -AkademischeR BetreuerIndgs122973119FG Computational Engineering & Automation, Hochschule Wismar38329-6Universität Rostock1419 - 19761990 -Grad-verleihende Institutiondgg10085032-7Universität Rostock. Fakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgghttps://purl.uni-rostock.de/rosdok/id00005786urn:nbn:de:gbv:28-rosdok_id00005786-810.18453/rosdok_id00005786004 Informatik620 Ingenieurwissenschaften und MaschinenbauFakultät für Informatik und Elektrotechnikalle Rechte vorbehaltenNutzungsrechte erteiltLizenz Metadaten: CC0frei zugänglich (Open Access)de1 Online-Ressource (VI, 103 Seiten)202529. Oktober 2025Universität RostockRostockmonographic20262026Universitätsbibliothek RostockRostock2026Universitätsbibliothek Rostockhttps://purl.uni-rostock.de/rosdok/id00005786Torsten Jeinsch (Institut für Automatisierungstechnik, Universität Rostock) ; Felix Breitenecker (Institut für Analysis und Scientific Computing, TU Wien) ; Sven Pawletta (FG Computational Engineering & Automation, Hochschule Wismar)[{"name":"Jeinsch, Torsten","affil":"Institut für Automatisierungstechnik, Universität Rostock"},{"name":"Breitenecker, Felix","affil":"Institut für Analysis und Scientific Computing, TU Wien"},{"name":"Pawletta, Sven","affil":"FG Computational Engineering & Automation, Hochschule Wismar"}]Dissertation, Universität Rostock, 2026Discrete Event System Specification High Performance Computingvorgelegt von David JammerJeinsch, TorstenInstitut für Automatisierungstechnik, Universität RostockBreitenecker, FelixInstitut für Analysis und Scientific Computing, TU WienPawletta, SvenFG Computational Engineering & Automation, Hochschule Wismardoctype:epubdoctype:epubDokumenttypDocument typedoctype:epub.dissertationdoctype:epub.dissertationDissertationdoctoral thesisdiniPublType:doctoralThesis diniPublType2022:PhDThesis XMetaDissPlusThesisLevel:thesis.doctoralinfo:eu-repo/semantics/doctoralThesisdocumentnatureOfContent:ppn_105825778natureOfContent:ppn_105825778HochschulschriftdiniPublType2022:DoctoralThesisdiniPublType2022:DoctoralThesisDissertation oder HabilitationDoctoral thesisDRIVERdiniPublType2022:PhDThesisdiniPublType2022:PhDThesisDissertationPhD thesisKDSF (Pu34)XMetaDissPlusThesisLevel:thesis.doctoralXMetaDissPlusThesisLevel:thesis.doctoralDoktorarbeitdoctoral thesisSDNB:004SDNB:004004 Informatik004 Data processing Computer sciencesSDNB:620SDNB:620620 Ingenieurwissenschaften und Maschinenbau620 Engineering & allied operations620 Ingenieurwissenschaften und<br/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Maschinenbauinstitution:unirostockinstitution:unirostockUniversität RostockUniversity of RostockUniversität RostockUniversität RostockUni.Rostockhttp://d-nb.info/gnd/38329-6institution:unirostock.iefinstitution:unirostock.iefFakultät für Informatik und ElektrotechnikFaculty of Computer Science and Electrical EngineeringUniversität Rostock. Fakultät für Informatik und ElektrotechnikFakultät für Informatik<br />und ElektrotechnikUni.Rostock.Fakultaet.IEFhttp://d-nb.info/gnd/10085032-7licenseinfo:worklicenseinfo:workWerkworklicenseinfo:work.rightsreservedlicenseinfo:work.rightsreservedalle Rechte vorbehaltenall rights reserved/creativecommons/r/reserved/0.9/88x31.png[DE-28]Urheberrechtsschutz 1.0$gRights Statements$uhttp://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/licenseinfo:depositlicenseinfo:depositVeröffentlichungsgenehmigungpermission to storelicenseinfo:deposit.rightsgrantedlicenseinfo:deposit.rightsgrantedNutzungsrechte erteiltrights grantedlicenseinfo:metadatalicenseinfo:metadataLizenzen für Metadatenlicenseinfo:metadata.cc0licenseinfo:metadata.cc0Lizenz Metadaten: CC0license metadata: CC0/creativecommons/p/zero/1.0/88x31.pnghttps://creativecommons.org/publicdomain/zero/1.0/accesscondition:openaccessaccesscondition:openaccessfrei zugänglich (Open Access)open accesshttp://purl.org/coar/access_right/c_abf2OAfreeinfo:eu-repo/semantics/openAccess[DE-28]Open Access$gControlled Vocabulary for Access Rights$uhttp://purl.org/coar/access_right/c_abf2rfc5646:derfc5646:deDeutschGermangerdeuBeschleunigung von Diskret-Ereignisorientierten Simulationsstudien unter Verwendung des DEVS-Formalismus auf HPC-SystemenBeschleunigung von Diskret-Ereignisorientierten Simulationsstudien unter Verwendung des DEVS-Formalismus auf HPC-Systemengnd:1418877840gnd:1066882940orcid:0000-0002-8287-2544gnd:135937086gnd:122973119gnd:38329-6gnd:10085032-7gnd:1418877840gnd:1066882940orcid:0000-0002-8287-2544gnd:135937086gnd:122973119gnd:38329-6gnd:10085032-7rosdok_disshab_0000003659-d683095e54gnd:1418877840David JammerDavid Jammerrosdok_disshab_0000003659-d683095e68gnd:1066882940orcid:0000-0002-8287-2544Torsten JeinschTorsten Jeinschrosdok_disshab_0000003659-d683095e85gnd:135937086Felix BreiteneckerFelix Breiteneckerrosdok_disshab_0000003659-d683095e99gnd:122973119Sven PawlettaSven Pawlettarosdok_disshab_0000003659-d683095e114gnd:38329-6Universität RostockUniversität Rostockrosdok_disshab_0000003659-d683095e127gnd:10085032-7Universität Rostock. Fakultät für Informatik und ElektrotechnikUniversität Rostock. Fakultät für Informatik und ElektrotechnikDavid JammerTorsten JeinschFelix BreiteneckerSven PawlettaUniversität RostockUniversität Rostock. Fakultät für Informatik und ElektrotechnikDavid JammerTorsten JeinschFelix BreiteneckerSven PawlettaUniversität RostockUniversität Rostock. Fakultät für Informatik und ElektrotechnikDavid JammerRostockUniversität Rostockepub.dissertationhttps://purl.uni-rostock.de/rosdok/id00005786urn:nbn:de:gbv:28-rosdok_id00005786-810.18453/rosdok_id00005786In 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.This paper considers two topics. (i) Junglas' approach is adopted in this work, and a complete NSA-DEVS formalism is developed. For verification purposes, a complex practical problem from the field of production engineering is modeled using NSA-DEVS. (ii) In addition, simulation studies are performed and analyzed on an HPC system using this model to verify whether NSA-DEVS can be used to perform complex and highly complex simulation experiments on systems costing up to €100,000 within an acceptable time frame.20252025Torsten Jeinsch (Institut für Automatisierungstechnik, Universität Rostock) ; Felix Breitenecker (Institut für Analysis und Scientific Computing, TU Wien) ; Sven Pawletta (FG Computational Engineering & Automation, Hochschule Wismar)[{"name":"Jeinsch, Torsten","affil":"Institut für Automatisierungstechnik, Universität Rostock"},{"name":"Breitenecker, Felix","affil":"Institut für Analysis und Scientific Computing, TU Wien"},{"name":"Pawletta, Sven","affil":"FG Computational Engineering & Automation, Hochschule Wismar"}]Dissertation, Universität Rostock, 2026Discrete Event System Specification High Performance Computingvorgelegt von David Jammerepub.dissertation1 Jammer_Dissertation_2026.pdf 1129519 6e8d535a9b32ec2cab9df59784d3f359 rosdok_id000057861983637424Oau2026-09-092026-09-09T13:52:38ZrdaConverted from PICA to MODS using Pica2MODS XSLT Transformer 2.14-SNAPSHOT [SCM: "" "" ""] with mode 'DEFAULT'.DissertationHochschulschriftBeschleunigung von Diskret-Ereignisorientierten Simulationsstudien unter Verwendung des DEVS-Formalismus auf HPC-SystemenIn 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.This paper considers two topics. (i) Junglas' approach is adopted in this work, and a complete NSA-DEVS formalism is developed. For verification purposes, a complex practical problem from the field of production engineering is modeled using NSA-DEVS. (ii) In addition, simulation studies are performed and analyzed on an HPC system using this model to verify whether NSA-DEVS can be used to perform complex and highly complex simulation experiments on systems costing up to €100,000 within an acceptable time frame.DavidJammer1990 -VerfasserInaut1418877840TorstenJeinsch1970 -AkademischeR BetreuerIndgs10668829400000-0002-8287-2544Institut für Automatisierungstechnik, Universität RostockFelixBreiteneckerAkademischeR BetreuerIndgs135937086Institut für Analysis und Scientific Computing, TU WienSvenPawletta1964 -AkademischeR BetreuerIndgs122973119FG Computational Engineering & Automation, Hochschule Wismar38329-6Universität Rostock1419 - 19761990 -Grad-verleihende Institutiondgg10085032-7Universität Rostock. Fakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgghttps://purl.uni-rostock.de/rosdok/id00005786urn:nbn:de:gbv:28-rosdok_id00005786-810.18453/rosdok_id00005786004 Informatik620 Ingenieurwissenschaften und MaschinenbauFakultät für Informatik und Elektrotechnikalle Rechte vorbehaltenNutzungsrechte erteiltLizenz Metadaten: CC0frei zugänglich (Open Access)de1 Online-Ressource (VI, 103 Seiten)202529. Oktober 2025Universität RostockRostockmonographic20262026Universitätsbibliothek RostockRostock2026Universitätsbibliothek Rostockhttps://purl.uni-rostock.de/rosdok/id00005786Torsten Jeinsch (Institut für Automatisierungstechnik, Universität Rostock) ; Felix Breitenecker (Institut für Analysis und Scientific Computing, TU Wien) ; Sven Pawletta (FG Computational Engineering & Automation, Hochschule Wismar)[{"name":"Jeinsch, Torsten","affil":"Institut für Automatisierungstechnik, Universität Rostock"},{"name":"Breitenecker, Felix","affil":"Institut für Analysis und Scientific Computing, TU Wien"},{"name":"Pawletta, Sven","affil":"FG Computational Engineering & Automation, Hochschule Wismar"}]Dissertation, Universität Rostock, 2026Discrete Event System Specification High Performance Computingvorgelegt von David Jammer Jeinsch, Torsten Institut für Automatisierungstechnik, Universität Rostock Breitenecker, Felix Institut für Analysis und Scientific Computing, TU Wien Pawletta, Sven FG Computational Engineering & Automation, Hochschule Wismar 2026-09-09T13:34:30.183Z 2026-09-09T14:01:39.108Z 2026-09-19T14:01:39.119Z editorFG {"identifier":"rosdok/id00005786","type":"local_id","additional":"","service":"MCRLocalID","created":"2026-09-09T13:34:30.230Z"} {"identifier":"urn:nbn:de:gbv:28-rosdok_id00005786-8","type":"dnbUrn","additional":"","service":"RosDokURN","created":"2026-09-09T13:34:30.245Z"} {"identifier":"https://purl.uni-rostock.de/rosdok/id00005786","type":"purl","additional":"","service":"RosDokPURL","created":"2026-09-09T13:34:30.255Z","registrationStarted":"2026-09-09T14:01:37.762Z"} {"identifier":"10.18453/rosdok_id00005786","type":"doi","additional":"","service":"RosDokDOI","created":"2026-09-09T13:34:30.261Z","registrationStarted":"2026-09-09T14:01:37.509Z","registered":"2026-09-09T14:01:39.105Z"} MCRJANITORfulltextfile/rosdok_disshab_0000003659/rosdok_derivate_0000229508/Jammer_Dissertation_2026.pdfBeschleunigung von Diskret-Ereignisorientierten Simulationsstudien unter Verwendung des DEVS-Formalismus auf HPC-SystemenBeschleunigung von Diskret-Ereignisorientierten Simulationsstudien unter Verwendung des DEVS-Formalismus auf HPC-Systemengnd:1418877840gnd:1066882940orcid:0000-0002-8287-2544gnd:135937086gnd:122973119gnd:38329-6gnd:10085032-7gnd:1418877840gnd:1066882940orcid:0000-0002-8287-2544gnd:135937086gnd:122973119gnd:38329-6gnd:10085032-7rosdok_disshab_0000003659-d683095e54gnd:1418877840David JammerDavid Jammerrosdok_disshab_0000003659-d683095e68gnd:1066882940orcid:0000-0002-8287-2544Torsten JeinschTorsten Jeinschrosdok_disshab_0000003659-d683095e85gnd:135937086Felix BreiteneckerFelix Breiteneckerrosdok_disshab_0000003659-d683095e99gnd:122973119Sven PawlettaSven Pawlettarosdok_disshab_0000003659-d683095e114gnd:38329-6Universität RostockUniversität Rostockrosdok_disshab_0000003659-d683095e127gnd:10085032-7Universität Rostock. Fakultät für Informatik und ElektrotechnikUniversität Rostock. Fakultät für Informatik und ElektrotechnikDavid JammerTorsten JeinschFelix BreiteneckerSven PawlettaUniversität RostockUniversität Rostock. Fakultät für Informatik und ElektrotechnikDavid JammerTorsten JeinschFelix BreiteneckerSven PawlettaUniversität RostockUniversität Rostock. Fakultät für Informatik und ElektrotechnikDavid JammerRostockUniversität Rostockepub.dissertationhttps://purl.uni-rostock.de/rosdok/id00005786urn:nbn:de:gbv:28-rosdok_id00005786-810.18453/rosdok_id00005786In 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.This paper considers two topics. (i) Junglas' approach is adopted in this work, and a complete NSA-DEVS formalism is developed. For verification purposes, a complex practical problem from the field of production engineering is modeled using NSA-DEVS. (ii) In addition, simulation studies are performed and analyzed on an HPC system using this model to verify whether NSA-DEVS can be used to perform complex and highly complex simulation experiments on systems costing up to €100,000 within an acceptable time frame.20252025Torsten Jeinsch (Institut für Automatisierungstechnik, Universität Rostock) ; Felix Breitenecker (Institut für Analysis und Scientific Computing, TU Wien) ; Sven Pawletta (FG Computational Engineering & Automation, Hochschule Wismar)[{"name":"Jeinsch, Torsten","affil":"Institut für Automatisierungstechnik, Universität Rostock"},{"name":"Breitenecker, Felix","affil":"Institut für Analysis und Scientific Computing, TU Wien"},{"name":"Pawletta, Sven","affil":"FG Computational Engineering & Automation, Hochschule Wismar"}]Dissertation, Universität Rostock, 2026Discrete Event System Specification High Performance Computingvorgelegt von David Jammer[xslt]Saxonrosdok_id00005786https://purl.uni-rostock.de/rosdok/id00005786198363742410.18453/rosdok_id00005786urn:nbn:de:gbv:28-rosdok_id00005786-8David JammerJammer DavidBeschleunigung von Diskret-Ereignisorientierten Simulationsstudien unter Verwendung des DEVS-Formalismus auf HPC-SystemenDissertationdoctoral thesisUniversität Rostock, 29. Oktober 2025In 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…David JammerBeschleunigung von Diskret-Ereignisorientierten Simulationsstudien unter Verwendung des DEVS-Formalismus auf HPC-SystemenDiscrete Event System Specification High Performance ComputingUniversitätsbibliothek Rostockhttps://purl.uni-rostock.de/rosdok/id00005786DavidJammer1990 -VerfasserInaut1418877840TorstenJeinsch1970 -AkademischeR BetreuerIndgs10668829400000-0002-8287-2544Institut für Automatisierungstechnik, Universität RostockFelixBreiteneckerAkademischeR BetreuerIndgs135937086Institut für Analysis und Scientific Computing, TU WienSvenPawletta1964 -AkademischeR BetreuerIndgs122973119FG Computational Engineering & Automation, Hochschule Wismar38329-6Universität Rostock1419 - 19761990 -Grad-verleihende Institutiondgg10085032-7Universität Rostock. Fakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgg[purl]https://purl.uni-rostock.de/rosdok/id00005786[urn]urn:nbn:de:gbv:28-rosdok_id00005786-8[doi]10.18453/rosdok_id00005786open_access20252025epoch:21th_centuryrfc5646:dedoctype:epub.dissertationaccesscondition:openaccessSDNB:004SDNB:620institution:unirostock.iefstate:published