Workflow mining: discovering workflow models from event-based data