• Publications
  • Influence
Workflow Management: Models, Methods, and Systems
TLDR
This book offers a comprehensive introduction to workflow management, the management of business processes with information technology. Expand
  • 1,384
  • 59
  • PDF
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
  • 337
  • 40
  • PDF
The Petri Net Markup Language: Concepts, Technology, and Tools
TLDR
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. Expand
  • 411
  • 30
  • PDF
Information systems engineering - a formal approach
TLDR
Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyze and design them. Expand
  • 126
  • 10
  • PDF
Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor
TLDR
The omnipresence of electronically recorded business events coupled with process mining technology enable a new form of auditing that will dramatically change the role of auditors: Auditing 2.0. Expand
  • 147
  • 9
  • PDF
Conceptual model for online auditing
TLDR
The independent verification of the right applications of business rules in an information system is a task for auditors. Expand
  • 83
  • 8
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
Component-based software architectures: a framework based on inheritance of behavior
TLDR
In this paper, we provide a framework for component-based software architectures focusing on the process perspective. Expand
  • 89
  • 7
  • PDF
Global Convergence of Genetic Algorithms: A Markov Chain Analysis
TLDR
We set up an abstract stochastic algorithm for treating combinatorial optimization problems. Expand
  • 237
  • 5