Sound integration of process and decision models Business process management is an established technique for business organizations to manage and support their processes. Those processes are typically represented by graphical models designed with modeling languages such as the Business Process Model and Notation (BPMN). Since process models do not only serve the purpose of documentation but are also a basis for implementation and automation of the processes they have to satisfy certain correctness requirements. In this regard the notion of soundness of workflow nets was developed that can be applied to BPMN process models in order to verify their correctness. Because the original soundness criteria are very restrictive regarding the behavior of the model different variants of the soundness notion have been developed for situations in which certain violations are not even harmful. All of those notions do only consider the control flow structure of a process model however. This poses a problem taking into account the fact that with the recent release and the ongoing ...