Universität Stuttgart (Germany), Dissertation, 1987. In German.
Abstract: Es werden Methoden für den Nachweis einer fehlerfreien Synchronisierung bei der Erstellung von Echtzeitsystemen untersucht. Ein Verfahren zur Prüfung der Widerspruchsfreiheit und zur Aufdeckung von Spezifikationsfehlern unter wird vorgestellt. Bei diesen Verfahren wird von der Petri-Netz-Theorie Gebrauch gemacht.