Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Lebendig & beschränkt bzw. Überdeckung
Hallo
Fakt ist:
- P-Überdeckung ⇒ Beschränkt
- Lebendig && Beschränkt ⇒ T-Überdeckung
Aber gilt auch das Folgende? - Beschränkt ⇒ P-Überdeckung ?
- T-Überdeckung ⇒ Lebendig && Beschränkt ?
Ergänzung:
Folgt überhaupt etwas aus T-Überdeckung, wenn ja was? (Im Skript steht nur „Zusammenhang zur Lebendigkeit“; Folie 03-41)
Hi,
Nein, das gilt nicht.
Kleiner Logik-Exkurs:
A => B ist äquivalent zu !B => !A
Aber:
A => B ist nicht äquivalent zu B => A
Sprich: Aus einer T-Überdeckung folgt nicht allzu viel, aber aus keiner T-Überdeckung folgt, dass dein Petrinetz nicht lebendig oder (inklusiv!) nicht beschränkt ist.