Mining process models with prime invisible tasks · Study