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.
Subject
Energy (miscellaneous),Energy Engineering and Power Technology,Renewable Energy, Sustainability and the Environment,Electrical and Electronic Engineering,Control and Optimization,Engineering (miscellaneous)
Reference38 articles.
1. ANOMALY DETECTION ALGORITHMS IN BUSINESS PROCESS LOGS
2. Automatic Signature Generation for Anomaly Detection in Business Process Instance Data;Böhmer,2016
3. Unsupervised Anomaly Detection in Noisy Business Process Event Logs Using Denoising Autoencoders;Nolle,2016
4. Improving process models by mining mappings of low-level events to high-level activities
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献