Business process mining: An industrial application · Study