Compensation in Workflow Nets. - Baver Acu; Wolfgang Reisig (ICATPN, 2006)