XNet - Ein echtzeitfähiges Ausführungsmodell für Petri-Netz-basierte Komponentenbeschreibungen in der Steuerungstechnik (Dissertation Premium)