Neue Verfahren zur maschinellen Analyse des Verhaltens von Protokollmaschinen anhand passiver Beobachtung