Exploring Hybrid Modelling of Industrial Process – Mining Use Case

Modelling industrial processes, especially in heavy industries, becomes a challenging task. The main aspects that influence modelling are related to the availability of suitable event logs and process variability, impacting the selection of modelling language and discovery algorithms. Our paper presents the results of modelling a real-life industrial process, namely longwall shearer operation. We started with motivation resulting from previous findings based on a comparison of imperative and declarative modelling of the process in question. It led us to the creation of a hybrid model and conformance checking to evaluate its ability to express sophisticated traces in the process execution. Our results show that the hybrid model reveals fewer deviations than analysed pure paradigm models (Petri nets and Declare).