LAPSE:2023.28557
Published Article
LAPSE:2023.28557
Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events
April 12, 2023
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.
Record ID
Keywords
conformance checking, industrial process, Petri nets, sensor data, shearer, underground mining
Subject
Suggested Citation
Szpyrka M, Brzychczy E, Napieraj A, Korski J, Nalepa G. Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events. (2023). LAPSE:2023.28557
Author Affiliations
Szpyrka M: 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 [ORCID]
Brzychczy E: Department of Economics and Management in Industry, Faculty of Mining and Geoengineering, AGH University of Science and Technology, 30-059 Krakow, Poland [ORCID]
Napieraj A: Department of Economics and Management in Industry, Faculty of Mining and Geoengineering, AGH University of Science and Technology, 30-059 Krakow, Poland [ORCID]
Korski J: Famur S.A., 40-698 Katowice, Poland
Nalepa G: 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; Jagiellonian Human-Centered Artificial Intelligence Labora [ORCID]
Brzychczy E: Department of Economics and Management in Industry, Faculty of Mining and Geoengineering, AGH University of Science and Technology, 30-059 Krakow, Poland [ORCID]
Napieraj A: Department of Economics and Management in Industry, Faculty of Mining and Geoengineering, AGH University of Science and Technology, 30-059 Krakow, Poland [ORCID]
Korski J: Famur S.A., 40-698 Katowice, Poland
Nalepa G: 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; Jagiellonian Human-Centered Artificial Intelligence Labora [ORCID]
Journal Name
Energies
Volume
13
Issue
24
Article Number
E6630
Year
2020
Publication Date
2020-12-15
ISSN
1996-1073
Version Comments
Original Submission
Other Meta
PII: en13246630, Publication Type: Journal Article
Record Map
Published Article
LAPSE:2023.28557
This Record
External Link
https://doi.org/10.3390/en13246630
Publisher Version
Download
Meta
Record Statistics
Record Views
116
Version History
[v1] (Original Submission)
Apr 12, 2023
Verified by curator on
Apr 12, 2023
This Version Number
v1
Citations
Most Recent
This Version
URL Here
https://psecommunity.org/LAPSE:2023.28557
Record Owner
Auto Uploader for LAPSE
Links to Related Works