7.2Petri-Netze

Eigenschaften nebenläufiger Systeme

Lebendigkeit, Beschränktheit und Verklemmungsfreiheit – modelliert am Beispiel der speisenden Philosophen.

Leitformel
lebendig,k-beschra¨nkt,verklemmungsfrei\text{lebendig}, \quad k\text{-beschränkt}, \quad \text{verklemmungsfrei}
lebendig,\text{lebendig},k-beschra¨nkt,k\text{-beschränkt},verklemmungsfrei\text{verklemmungsfrei}
Lernziel

Lebendigkeit, k-Beschränktheit, Deadlock-Freiheit und Terminierung definieren und an Petri-Netzen prüfen.

Einheit wird geladen …