A Workflow Mining Method Through Model Rewriting · Study