a new workflow mining algorithm