Forschungsthemen [BA] Automatisierte Analyse und Darstellung der Ergebnisse des Modelchecking von verteilten Petri NetzenBetreuer: Sebastian Ebert