Zusammenfassung Petrinetze hinzugefügt