Dieses Add-On bindet das Werkeug EPCMetrics ein. Dieses nutzt zum einen die an der Universtität Paderborn entwickelten EPCTools, um Sauberkeit und Soundness für EPK-Modelle nach Fixpunktsemantik zu bestimmen. Zum zweiten berechnet es eine große Zahl von Metriken für ein EPK-Modell.

Entwickler: Frank Meyer (Universität Leipzig), aufbauend auf einem Werkzeug von Nicolas Cuntz und Prof. Ekkart Kindler (Universität Paderborn)

Eingebundene Werkzeuge: EPCTools