Table of Contents
Fetching ...

Discovery of Decision Synchronization Patterns from Event Logs

Tijmen Kuijpers, Karolin Winter, Remco Dijkman

Abstract

Synchronizing decisions between running cases in business processes facilitates fair and efficient use of resources, helps prioritize the most valuable cases, and prevents unnecessary waiting. Consequently, decision synchronization patterns are regularly built into processes, in the form of mechanisms that temporarily delay one case to favor another. These decision mechanisms therefore consider properties of multiple cases at once, rather than just the properties of a single case; an aspect that is rarely addressed by current process discovery techniques. To address this gap, this paper proposes an approach for discovering decision synchronization patterns inspired by supply chain processes. These decision synchronization patterns take the form of specific process constructs combined with a constraint that determines which particular case to execute. We describe, formalize and demonstrate how the constraint for four such patterns can be discovered. We evaluate our approach in two artificial scenarios. First, with four separate process models each containing a single decision synchronization pattern, i.e., we demonstrate that our approach can discover every type of pattern when only this one type is present. Second, we consider a process model containing all four decision synchronization patterns to show generalizability of the approach to more complex problems. For both scenarios, we could reliably retrieve the expected patterns.

Discovery of Decision Synchronization Patterns from Event Logs

Abstract

Synchronizing decisions between running cases in business processes facilitates fair and efficient use of resources, helps prioritize the most valuable cases, and prevents unnecessary waiting. Consequently, decision synchronization patterns are regularly built into processes, in the form of mechanisms that temporarily delay one case to favor another. These decision mechanisms therefore consider properties of multiple cases at once, rather than just the properties of a single case; an aspect that is rarely addressed by current process discovery techniques. To address this gap, this paper proposes an approach for discovering decision synchronization patterns inspired by supply chain processes. These decision synchronization patterns take the form of specific process constructs combined with a constraint that determines which particular case to execute. We describe, formalize and demonstrate how the constraint for four such patterns can be discovered. We evaluate our approach in two artificial scenarios. First, with four separate process models each containing a single decision synchronization pattern, i.e., we demonstrate that our approach can discover every type of pattern when only this one type is present. Second, we consider a process model containing all four decision synchronization patterns to show generalizability of the approach to more complex problems. For both scenarios, we could reliably retrieve the expected patterns.
Paper Structure (12 sections, 1 theorem, 5 figures, 5 tables)

This paper contains 12 sections, 1 theorem, 5 figures, 5 tables.

Key Result

proposition 1

The additional constraint $G$, which we also call the decision synchronization constraint, that turns the Petri net $N$ into a replayable Petri net, is the constraint that:

Figures (5)

  • Figure 1: Priority Process Model
  • Figure 2: Overview Decision Synchronization Pattern Discovery Approach
  • Figure 3: Process Models per Decision Synchronization Pattern
  • Figure 4: Decision Tree Priority Pattern
  • Figure 5: Fictional Supply Chain Process Model

Theorems & Definitions (9)

  • definition 1: Simplified Colored Petri Net, Marking
  • definition 2: Binding, Enabled Transition
  • definition 3: Event, Log
  • definition 4: Case Place, Resource Place, Task Transition
  • definition 5: Log Move
  • definition 6: Constraint-satisfied, replayable Petri net
  • proposition 1: Decision Synchronization Constraint
  • proof
  • definition 7: Decision Synchronization Pattern Mining