Szkoła Eksploatacji Podziemnej

Modelowanie procesu jest niezbędnym krokiem do jego dalszej analizy, monitoringu i kontroli. W modelowaniu procesów można zastosować dwa główne podejścia: imperatywne i deklaratywne. Celem przeprowadzonych badań było porównanie modeli imperatywnych i deklaratywnych wybranego procesu przemysłowego - pracy kombajnu ścianowego - realizowanego w podziemnej kopalni węgla, w celu wybrania modelu, który z praktycznego punktu widzenia jest bardziej odpowiedni do monitorowania tego procesu. Wybór ten został oparty na badaniu zgodności dziennika zdarzeń obejmującego 222 cykle pracy kombajnu z modelem sieci Petriego oraz modelu Declare. Otrzymane wyniki pozwoliły na sformułowanie wniosku, że modele deklaratywne mogą być bardziej właściwe do identyfikacji pojawiających się odchyleń w realizacji analizowanego procesu.