Title: Strukturbasierte verifikation von bpmn-modellen