Universität Bonn, Institut für Informatik, Diplomarbeit, 1989. In German.
Abstract: Das Problem der verteilten Terminierung besteht in einem System kooperierender sequentialler Prozesse darin, durch einen Kontroll-Algorithmus die einzelnen Prozesse zu befähigen, den globalen Systemzustand, der ein Ende einer verteilten Bearbeitung anzeigt, feststellen zu können. Mit Hilfe von Pr/T-Netzen wird ein Lösungsalgorithmus hergeleitet.