Lebendigkeit

aus Wikipedia, der freien Enzyklopädie

Wechseln zu: Navigation, Suche

Dieser Artikel behandelt die Lebendigkeit in der theoretischen Informatik. Für die biologische Bedeutung des Begriffs siehe Lebewesen.

Eine Transition bzw. Übergang heißt

tot, falls sie unter keiner Folgemarkierung aktiviert ist.
aktivierbar, falls sie unter mindestens einer Folgemarkierung aktiviert ist.
lebendig, falls sie in jeder erreichbaren Markierung aktivierbar ist.

Ein Petri-Netz heißt

tot, falls alle Transitionen tot sind.
deadlockfrei oder schwach lebendig, falls es unter keiner Folgemarkierung tot ist.
(stark) lebendig, falls alle Transitionen lebendig sind.

[Bearbeiten] Siehe auch

Lebendigkeit von Transitionen in Petrinetzen