Report Nr. 118, Universität Hamburg, Fachbereich Informatik, 1985. In German.
Abstract: Das Papier behandelt Darstellungen für die Menge der sicheren Zustände im Bankiers-Problem. Anhand eines Petrinetz-Modells werden Formeln direkt für die Menge SAFE und für die Menge ihrer minimalen Elemente entwickelt. Es wird auch untersucht, inwieweit sich die gewonnenen Ergebnisse auf das mehrdimensionale Bankiers-Problem (mehrere Währungen) übertragen lassen.