[DA] Integration zeitbehafteter Petri-Netze in ein modellgetriebenes Framework für verifizierbare robotische Anwendungen

Betreuer: Sebastian Ebert