Was bedeutet stark zusammenhängend in Verbindung mit dem Erreichbarkeitsgraphen eines Petri-Netzes?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bedeutet terminal stark zusammenhängend in Verbindung mit dem Erreichbarkeitsgraphen eines Petri-Netzes?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
$N$ ist beschränkt $\Leftrightarrow$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
$N$ ist verklemmungsfrei $\Leftrightarrow$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
$N$ ist reversibel $\Leftrightarrow$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
$N$ hat Home-States $\Leftrightarrow$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
$t$ ist lebendig $\Leftrightarrow$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.