Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events
1
Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, 30-059 Krakow, Poland
2
Department of Economics and Management in Industry, Faculty of Mining and Geoengineering, AGH University of Science and Technology, 30-059 Krakow, Poland
3
Famur S.A., 40-698 Katowice, Poland
4
Jagiellonian Human-Centered Artificial Intelligence Laboratory (JAHCAI) and Institute of Applied Computer Science, Jagiellonian University, 30-348 Krakow, Poland
*
Author to whom correspondence should be addressed.
Energies 2020, 13(24), 6630; https://doi.org/10.3390/en13246630
Received: 30 October 2020 / Revised: 8 December 2020 / Accepted: 9 December 2020 / Published: 15 December 2020
(This article belongs to the Special Issue Modelling of Industrial Processes)
Conformance checking is a process mining technique that compares a process model with an event log of the same process to check whether the current execution stored in the log conforms to the model and vice versa. This paper deals with the conformance checking of a longwall shearer process. The approach uses place-transition Petri nets with inhibitor arcs for modeling purposes. We use event log files collected from a few coal mines located in Poland by Famur S.A., one of the global suppliers of coal mining machines. One of the main advantages of the approach is the possibility for both offline and online analysis of the log data. The paper presents a detailed description of the longwall process, an original formal model we developed, selected elements of the approach’s implementation and the results of experiments.
View Full-Text
Keywords:
industrial process; sensor data; conformance checking; Petri nets; shearer; underground mining
▼
Show Figures
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited
MDPI and ACS Style
Szpyrka, M.; Brzychczy, E.; Napieraj, A.; Korski, J.; Nalepa, G.. Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events. Energies 2020, 13, 6630.
AMA Style
Szpyrka M, Brzychczy E, Napieraj A, Korski J, Nalepa G. Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events. Energies. 2020; 13(24):6630.
Chicago/Turabian StyleSzpyrka, Marcin; Brzychczy, Edyta; Napieraj, Aneta; Korski, Jacek; Nalepa, Grzegorz J. 2020. "Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events" Energies 13, no. 24: 6630.
Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.
Search more from Scilit