Title: Strukturbasierte Verifikation Von BPMN-Modellen