Repository der Technischen Hochschule Ingolstadt
Not a member yet
4170 research outputs found
Sort by
How Do Drivers Observe Surrounding Vehicles in Real-World Traffic? Estimating the Drivers Primary Observed Traffic Objects
No full textScenario Planning in the Digital Transformation of the Fashion Industry: Starting Point for the Adjustment of Business Processes from a Colour Management Perspective
No full textRendering new futures or enshrining pictures of the past? The double-edged sword of using AI-generated imagery for anticipation
No full textFully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
No full text
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
No full text
Effects of Large Scale EV and PV Integration on Power Supply Systems in the Context of Singapore
No full textBPMN2.0 for the formal specification of discrete event simulation models
No full textDiscrete 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