Die Deadlock-Falle-Eigenschaft

Zusammenfassung

Wir haben im vorigen Abschnitt gesehen, daß Deadlocks, die nicht ausreichend viele Marken haben, nicht wieder mit Marken versorgt werden können, so daß es zu Verklemmungen kommen kann. In jedem Netz, das keine Transitionen ohne Vorplatz enthält, also in allen praktisch initeresssanten Fällen, ist die Menge P aller Plätze ein Deadlock. Die Aussage. daß ein Netz ohne Deadlock lebendig ist, nützt also wenig. Daher sucht man nach Strukturen innerhalb eines Deadlocks, die verhindern können, daß er seine Marken verliert. Eine solche Struktur ist durch den Begriff der Falle (für Marken) gegeben.