Compensation in Workflow Nets · Study