Szczegóły publikacji
Opis bibliograficzny
Conformance checking of a longwall shearer operation based on low-level events / Marcin SZPYRKA, Edyta BRZYCHCZY, Aneta NAPIERAJ, Jacek Korski, Grzegorz J. NALEPA // Energies [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1996-1073. — 2020 — vol. 13 iss. 24 art. no. 6630, s. 1–18. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 16–18, Abstr. — Publikacja dostępna online od: 2020-12-15. — G. Nalepa – dod. afiliacja: Jagiellonian University
Autorzy (5)
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 131661 |
|---|---|
| Data dodania do BaDAP | 2020-12-16 |
| Tekst źródłowy | URL |
| DOI | 10.3390/en13246630 |
| Rok publikacji | 2020 |
| Typ publikacji | artykuł w czasopiśmie |
| Otwarty dostęp |  |
| Creative Commons | |
| Czasopismo/seria | Energies |
Abstract
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.