Mining Context-Dependent and Interactive Business Process Maps Using Execution Patterns · Study