Optimal Process Mining for Large and Complex Event Logs | IEEE Journals & Magazine | IEEE Xplore