Model Checking von BPMN-Modellen für rekonfigurierbare Workflows