Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events

Energies

GrzegorzJ. Nalepa¹  Marcin Szpyrka¹  Aneta Napieraj²  Edyta Brzychczy²  Jacek Korski³ 

[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;Department of Economics and Management in Industry, Faculty of Mining and Geoengineering, AGH University of Science and Technology, 30-059 Krakow, Poland;Famur S.A., 40-698 Katowice, Poland;

关键词: industrial process;    sensor data;    conformance checking;    Petri nets;    shearer;    underground mining;   

DOI  :  10.3390/en13246630

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown