Generating synthetic positive and negative business process traces through abduction