Dieser Beitrag stellt den Prototyp eines EPK-Modellierungswerkzeugs vor, der Verfahren zur Suche in Graphen nutzt, um Fehler in EPK-Modellen zu identifizieren. Dieses Werkzeug hat gegenüber bekannten Ansätzen zwei Vorzüge: Zum einen ist es nicht notwendig, den (oft sehr großen) Zustandsraum aller möglichen Abläufe in einem Modell zu berechnen. Zum Zweiten kann unser Ansatz auch auf noch nicht vollständig fertiggestellte Modelle angewendet werden. Der Modellierer wird sofort zur Modellierungszeit über mögliche Probleme sowie deren Ursachen informiert und erhält unmittelbare Vorschläge zur Beseitigung der Probleme.