• Publications
  • Influence
Constraint-Based Workflow Models: Change Made Easy
TLDR
We propose a general framework for a constraint-based process modeling language where workflows are defined by constraint models and its implementation. Expand
  • 274
  • 19
  • PDF
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
TLDR
We present an analysis approach that uses so-called "anti-patterns" expressed in terms of a temporal logic to discover data-flow errors in workflows. Expand
  • 188
  • 18
  • PDF
What's Your Current Stress Level? Detection of Stress Patterns from GSR Sensor Data
TLDR
The problem of job stress is generally recognized as one of the major factors leading to a spectrum of health problems. Expand
  • 182
  • 14
  • PDF
Soundness of Resource-Constrained Workflow Nets
TLDR
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. Expand
  • 47
  • 8
  • PDF
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
TLDR
We introduce and investigate several correctness notions for workflow nets, ranging from proper termination of cases to their mutual independence. Expand
  • 132
  • 7
  • PDF
Mining local process models
TLDR
We present a method to discover local process models that can express the same rich set of relations between activities as business process models, but describe frequent fragments instead of complete start-to-end processes. Expand
  • 64
  • 6
  • PDF
Cost-Based Fitness in Conformance Checking
TLDR
We present a robust conformance checking technique based on Petri net techniques allowing us to lift assumptions and to take into account the cost of deviating from given models. Expand
  • 62
  • 6
  • PDF
The Imprecisions of Precision Measures in Process Mining
TLDR
We propose a set of axioms for quantifying precision consistently for any log and any model. Expand
  • 31
  • 6
  • PDF
Smart technologies for long-term stress monitoring at work
TLDR
We present stress information, derived from sensor measurements, in the context of person's activities in order to provide meaningful, useful and actionable information. Expand
  • 100
  • 5
  • PDF
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible
TLDR
A conceptual workflow model specifies the control flow of a workflow together with abstract data information, resulting in an executable workflow which is then run on an information system. Expand
  • 63
  • 4
  • PDF