Business Process Management
Using Life Cycle Information in Process Discovery