Audyt procesów biznesowych jest tematem coraz bardziej aktualnym w literaturze przedmiotu. Jednak¿e techniki tradycyjne i r¿czne okazuj¿ si¿ niezadowalaj¿ce lub niewystarczaj¿ce, poniewä s¿ kosztowne, mog¿ by¿ tendencyjne i podatne na b¿¿dy oraz wymagaj¿ du¿ych zasobów czasowych, ludzkich i materialnych. W tym sensie badanie to pokazuje, w jaki sposób technika wydobywcza procesów mo¿e by¿ automatycznie wykorzystywana w audycie procesów rz¿dowych, z systemu informacyjnego i narz¿dzia górniczego zwanego ProM. W oparciu o techniki weryfikacji zgodno¿ci dokonano porównania rzeczywistych procesów z ich oficjalnymi modelami instytucji rz¿dowej. Uzyskane wyniki pokazuj¿ pewne ró¿nice mi¿dzy nimi i wskazuj¿, ¿e technika ta mo¿e by¿ stosowana jako ¿rodek pomocniczy w audycie procesów biznesowych.