Process Mining: Algorithm for S-Coverable Workflow Nets. - Jianchun She; Dongqing Yang (WKDD, 2009)