Zur Seite: Theoriebasierte Petrinetz-Anwendungen