Astrid Rakow: Slicing Petri Nets with an Application to Workflow Verification. SOFSEM 2008: 436-447