Title: Software - Validierung Durch Auswertung Von Petrinetz-Abläufen