Eine Metrik zum Vergleich von Petrinetzen im Kontext des Process Minings - Konzept und Implementierung