Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events
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 appr...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-12-01
|
| Series: | Energies |
| Subjects: | |
| Online Access: | https://www.mdpi.com/1996-1073/13/24/6630 |
| _version_ | 1797544630467690496 |
|---|---|
| author | Marcin Szpyrka Edyta Brzychczy Aneta Napieraj Jacek Korski Grzegorz J. Nalepa |
| author_facet | Marcin Szpyrka Edyta Brzychczy Aneta Napieraj Jacek Korski Grzegorz J. Nalepa |
| author_sort | Marcin Szpyrka |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-10T14:03:15Z |
| format | Article |
| id | doaj.art-b97ebb8c9480458b93647810172530ed |
| institution | Directory Open Access Journal |
| issn | 1996-1073 |
| language | English |
| last_indexed | 2024-03-10T14:03:15Z |
| publishDate | 2020-12-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Energies |
| spelling | doaj.art-b97ebb8c9480458b93647810172530ed2023-11-21T00:57:29ZengMDPI AGEnergies1996-10732020-12-011324663010.3390/en13246630Conformance Checking of a Longwall Shearer Operation Based on Low-Level EventsMarcin Szpyrka0Edyta Brzychczy1Aneta Napieraj2Jacek Korski3Grzegorz J. Nalepa4Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, 30-059 Krakow, PolandDepartment of Economics and Management in Industry, Faculty of Mining and Geoengineering, AGH University of Science and Technology, 30-059 Krakow, PolandDepartment of Economics and Management in Industry, Faculty of Mining and Geoengineering, AGH University of Science and Technology, 30-059 Krakow, PolandFamur S.A., 40-698 Katowice, PolandDepartment of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, 30-059 Krakow, PolandConformance 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.https://www.mdpi.com/1996-1073/13/24/6630industrial processsensor dataconformance checkingPetri netsshearerunderground mining |
| spellingShingle | Marcin Szpyrka Edyta Brzychczy Aneta Napieraj Jacek Korski Grzegorz J. Nalepa Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events Energies industrial process sensor data conformance checking Petri nets shearer underground mining |
| title | Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events |
| title_full | Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events |
| title_fullStr | Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events |
| title_full_unstemmed | Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events |
| title_short | Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events |
| title_sort | conformance checking of a longwall shearer operation based on low level events |
| topic | industrial process sensor data conformance checking Petri nets shearer underground mining |
| url | https://www.mdpi.com/1996-1073/13/24/6630 |
| work_keys_str_mv | AT marcinszpyrka conformancecheckingofalongwallsheareroperationbasedonlowlevelevents AT edytabrzychczy conformancecheckingofalongwallsheareroperationbasedonlowlevelevents AT anetanapieraj conformancecheckingofalongwallsheareroperationbasedonlowlevelevents AT jacekkorski conformancecheckingofalongwallsheareroperationbasedonlowlevelevents AT grzegorzjnalepa conformancecheckingofalongwallsheareroperationbasedonlowlevelevents |