A Closed-loop Workflow Management Technique Based on Process Mining | IEEE Conference Publication | IEEE Xplore