- Titel
- BPMN2.0 for the formal specification of discrete event simulation models
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-998073
- Übersetzter Titel (DE)
- BPMN2.0 für die formale Spezifikation von Modellen für die ereignisdiskrete Simulation
- Konferenz
- 21. ASIM-Fachtagung Simulation in Produktion und Logistik. Dresden, Germany, 24. bis 26. September 2025
- Quellenangabe
- Simulation in Produktion und Logistik 2025
Herausgeber: Sebastian Rank
Herausgeber: Mathias Kühn
Herausgeber: Thorsten Schmidt
Erscheinungsort: Dresden
Verlag: Technische Universität Dresden, Professur für Technische Logistik
Erscheinungsjahr: 2025
ISBN: 978-3-86780-806-4 - Erstveröffentlichung
- 2025
- DOI
- https://doi.org/10.25368/2025.285
- Abstract (EN)
- Discrete Event Simulation (DES) is essential for planning in logistics, material flow, and production but remains time- and knowledge-intensive due to fragmented modelling practices and tool-specific requirements, as noted in VDI 3633 and VDI 4465. This paper proposes addressing these challenges by transferring concepts from Business Process Management, leveraging its formal modelling languages and validation frameworks. A style guide based on the Business Process Model and Notation 2.0 (BPMN) is introduced, structured around the principles of correctness, completeness, consistency, and clarity to support both communication and simulation. These principles enable reusable, verifiable process models suitable for execution in different DES tools, which serves as a step towards automated experimentation and verification. Through a first-ever evaluation of state of the art approaches against those principles, this work contributes to the ongoing definition of a semi-formal BPMN modelling layer developed in the ASIM SPL working group for formal methods in procedural models.
- Freie Schlagwörter (DE)
- Simulation, Künstliche Intelligenz, Modellierung, Optimierung, Ereignissimulation (DES), Modellierungspraktiken
- Freie Schlagwörter (EN)
- Simulation, Artificial Intelligence, Modelling, Optimisation, Event Simulation (DES), modelling practices
- Klassifikation (DDC)
- 620
- Klassifikation (RVK)
- ZM 9500
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- publizierte Version / Verlagsversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-998073
- Veröffentlichungsdatum Qucosa
- 21.10.2025
- Dokumenttyp
- Konferenzbeitrag
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0