Minimizing total completion time in flowshop with availability constraint on the first machine

A real-world company asked us to solve emerging problem related to the flow of the documents: some of the documents had been lost. We used methods of process mining to solve this problem. We found an error in the information system. Moreover, our analysis of the flow of the documents led to the conclusion that the business processes did not meet the company's needs, and with our help they were redesigned and reimplemented. This research gave an additional important insight to process mining methodology - in order to extract knowledge about business processes that is useful for the decision makers, it is crucial to create algorithms capable of collaborating with human experts.