Marta Sukiennik

Modelling of Processes with Use of Process Mining Techniques

The main purpose of the paper is presentation of new opportunities 7 for process modelling. In the literature review section, Petri nets as one of the 8 formal modelling notation of processes is highlighted and introduction of 9 relatively young research discipline – process mining – is presented. One of the 10 process mining tasks is process model discovery from event logs gathered in 11 informatics systems in enterprise. In the article practical example of process 12 model discovery with ProM software is given with use of real event log from 13 Volvo IT Belgium. In conclusions further opportunities of process mining 14 techniques in process management are emphasized. 15

Evolutionary optimisation of coal production in underground mines

In the paper optimisation of coal production in multi-plant company 7 is described. Optimisation problem and proposal of optimisation criterion were 8 formulated. As modern solution in this area the developed evolutionary algorithm 9 is presented. An example of calculation results is presented. 10

EXAMPLES OF USING THE INTENSITY INDICATOR OF WINNING STREAM FOR VARIOUS LONGWALL SHEARER-BASED MINING TECHNOLOGIES

In presented article the examples of using the intensity indicator of 9 winning stream for various longwall shearer-based mining technologies have been 10 shown. The following variables have been adopted: the longwall height, the 11 longwall length, the shearer web and an effective working time. The obtained 12 results can be used to assess the progress and effectiveness of work in longwall 13 faces as well as can be used in modeling and planning the output process in Polish 14 hard coal mines. Performed calculations are exemplary, and their purpose is to 15 show many possibilities for analysis with using the intensity indicator of winning 16 stream. 17