Strukturbasierte Verifikation von BPMN-Modellen