Analyse von Petri-Netz-Modellen