Mit diesem von der Pariser Firma Pragmadev entwickelten Tool kann man BPMN-Modelle überprüfen, Modellierungsfehler finden und sicherstellen, dass bei der Ausführung des Modells festgelegte Bedingungen eingehalten werden. Beispielsweise ermittelt das Tool die Zahl sämtlicher möglichen Ausführungspfade. Ist diese Zahl sehr hoch, deutet dies auf ein zu komplexes Modell hin. Auch nicht erreichbare Pfade können gefunden werden.