Forschungsthemen [DA] Integration zeitbehafteter Petri-Netze in ein modellgetriebenes Framework für verifizierbare robotische AnwendungenBetreuer: Sebastian Ebert