Using hidden Markov models to evaluate the quality of discovered process models · Study