Next Article in Journal
Hybrid DC Converter with Current Sharing and Low Freewheeling Current Loss
Next Article in Special Issue
Development and Techno-Economic Analysis of an Advanced Recycling Process for Photovoltaic Panels Enabling Polymer Separation and Recovery of Ag and Si
Previous Article in Journal
Optimal Battery Storage Participation in European Energy and Reserves Markets
Previous Article in Special Issue
Glucose-Oxygen Biofuel Cell with Biotic and Abiotic Catalysts: Experimental Research and Mathematical Modeling
Open AccessArticle

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 industrial process; sensor data; conformance checking; Petri nets; shearer; underground mining
Show Figures

Figure 1

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 Style

Szpyrka, 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.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop