scispace - formally typeset
W

Wil M. P. van der Aalst

Researcher at RWTH Aachen University

Publications -  811
Citations -  47632

Wil M. P. van der Aalst is an academic researcher from RWTH Aachen University. The author has contributed to research in topics: Process mining & Business process discovery. The author has an hindex of 108, co-authored 725 publications receiving 42429 citations. Previous affiliations of Wil M. P. van der Aalst include Vienna University of Technology & Aarhus University.

Papers
More filters
Book

Process Mining: Discovery, Conformance and Enhancement of Business Processes

TL;DR: This book provides real-world techniques for monitoring and analyzing processes in real time and is a powerful new tool destined to play a key role in business process management.
Book ChapterDOI

Business process management: a survey

TL;DR: The acronyms in this domain are tried to demystify, the state-of-the-art technology is described, and it is argued that BPM could benefit from formal methods/languages.
Journal Article

Workflow Management: Models, Methods, and Systems

TL;DR: Workflow Management as mentioned in this paper is an overview of workflow terminology and organization, as well as detailed coverage of workflow modeling with Petri nets, which facilitates communication between designers and users, and includes case studies, review exercises, and a glossary.
Book ChapterDOI

Process Mining Manifesto

Wil M. P. van der Aalst, +78 more
TL;DR: This manifesto hopes to serve as a guide for software developers, scientists, consultants, business managers, and end-users to increase the maturity of process mining as a new tool to improve the design, control, and support of operational business processes.
Book ChapterDOI

Verification of Workflow Nets

TL;DR: This paper focuses on a class of Petri nets suitable for the representation, validation and verification of business procedures and shows that the correctness of a procedure represented by such a Petri net can be verified by using standard Petri-net-based techniques.