• Publications
  • Influence
Soundness of workflow nets: classification, decidability, and analysis
TLDR
We show that the eight soundness notions described in the literature are decidable for workflow nets. Expand
  • 338
  • 41
  • PDF
Process mining: discovering workflow models from event-based data
Contemporary workflow management systems are driven by explicit process models, i.e., a completely specified workflow design is required in order to enact a given workflow process. Creating aExpand
  • 172
  • 9
  • PDF
Pattern Based Analysis of BPML (and WSCI)
TLDR
This paper presents an in-depth analysis of the Business Process modeling Language (BPML) and its “sibling” language WSCI. Expand
  • 111
  • 9
  • PDF
Rediscovering workflow models from event-based data
TLDR
We propose a new process mining technique for rediscovering workflow models. Expand
  • 89
  • 8
  • PDF
Web Services: Been There, Done That?
TLDR
Web services can be defined as loosely coupled, reusable software components that semantically encapsulate discrete functionality and are distributed and programmatically accessible over standard Internet protocols. Expand
  • 231
  • 6
A pattern-based analysis of clinical computer-interpretable guideline modelling languages
TLDR
We evaluate clinical guidelines modelling languages using the Workflow Patterns as an analysis framework. Expand
  • 74
  • 6
Business process variability modeling : A survey
TLDR
A survey examines existing approaches in this field based on a common set of criteria and illustrates their key concepts using a running example. Expand
  • 45
  • 5
Business process redesign: a Petri-net-based approach
Abstract Reengineering business processes seems to be a necessity in order to survive and prosper in today's competitive world. To support business process reengineering (BPR) efforts, we propose aExpand
  • 154
  • 4
  • PDF
WOFLAN : a Petri-net-based workflow analyzer
TLDR
This paper describes a verification tool Woflan, a tool which analyzes workflow process definitions specified in terms of Petri nets. Expand
  • 104
  • 4
  • PDF
Putting high-level Petri nets to work in industry
TLDR
This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical PetriNet model. Expand
  • 71
  • 4
  • PDF