Fairness

Zusammenfassung

Verklemmungsfreiheit und Lebendigkeit sind wichtige Eigenschaften für Systeme, die fortlaufend arbeiten sollen, z.B. um Steuerungs- oder Kontrollfunktionen kontinuierlich wahrzunehmen. Es kann aber nicht ausgeschlossen werden, daß eine durchaus immer wieder ausführbare Aktion niemals ausgeführt wird, weil das System einerseits die Freiheit hat, unter den ausführbaren Aktionen eine oder einige zur Ausführung auszuwählen, andererseits das Auswahlprinzip in irgendeinem Sinne unfair oder überhaupt nicht präzisiert ist, also einige Aktionen benachteiligt. Im letzten Fall sagt man, daß für eine solche Aktion die Gefahr eines Livelocks besteht. In diesem Abschnitt beschäftigen wir uns mit der Widerspiegelung derartiger Phänomene in Petri-Netz-Modellen.