Eigenschaften und Erreichbarkeitsgraph

SZK

Frage:

Was bedeutet stark zusammenhängend in Verbindung mit dem Erreichbarkeitsgraphen eines Petri-Netzes?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

TSZK

Frage:

Was bedeutet terminal stark zusammenhängend in Verbindung mit dem Erreichbarkeitsgraphen eines Petri-Netzes?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beschränktheit

Frage:

$N$ ist beschränkt $\Leftrightarrow$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Verklemmungsfreiheit

Frage:

$N$ ist verklemmungsfrei $\Leftrightarrow$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Reversibel

Frage:

$N$ ist reversibel $\Leftrightarrow$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Home States

Frage:

$N$ hat Home-States $\Leftrightarrow$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Lebendigkeit von Transitionen

Frage:

$t$ ist lebendig $\Leftrightarrow$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.