Für das Modellierungs- und Prozesswerkzeug PREEvision sollen Algorithmen zur Auswertung und zur Analyse von Modellen...