Ausnutzung topologischer Graphcharacteristika für die effiziente Pfadsuche in konzeptionellen Modellen