No abstract

No abstract

For more than sixty years in all the world are trials of gateroad temporary mechanized roof supports in mechanized development operation have been conducted unsuccessfully. A case study - temporary mechanized gateroad roof support implemented in one of the entrances/drifts development in the turkish coal mine Yapi Tec Maden from the construction to 12-month practical experiences in practical use as described in the article. The review of gateroad roof support for different purposes is presented in article as a background or circumstances for the described case study. The YapiTec trial of the company own temporary mechanized gateroad roof support is discussed in comparison with second mechanized gateroad face without temporary mechanized roof support and same mining conditions during comparable time.

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.

No abstract