Using Life Cycle Information in Process Discovery
Disco: Discover Your Processes