Business process management (BPM) is an important area of organizational design and an acknowledged source of corporate performance. Over the last decades, many approaches, methods, and tools have been proposed to discover, design, analyze, enact, and improve individual processes. At the same...