Benutzer:Raphaelheilmann

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Babel:
de Dieser Benutzer spricht Deutsch als Muttersprache.
en-3 This user is able to contribute with an advanced level of English.
fr-1 Cet utilisateur sait contribuer avec un niveau élémentaire de français.
la-2 Hic usor media Latinitate contribuere potest.
grc-1 Ὅδε ὁ χρώμενος ἁπλᾶ Ἑλληνιστὶ γεγραμμένα συνιέναι δύναται.
Wappen der Landeshauptstadt Stuttgart Dieser Benutzer kommt aus der Landeshauptstadt Stuttgart.
Benutzer nach Sprache

Beispiel:


Eine Transition eines S/T-Systems heißt

  • aktivierbar, wenn sie mindestens unter einer Folgemarkierung aktiviert ist: .
  • lebendig, wenn sie unter allen Folgemarkierungen aktivierbar ist: .

Ein S/T-System heißt

  • deadlockfrei bzw. schwach lebendig, wenn es unter keiner Folgemarkierung tot ist: .
  • (stark) lebendig, wenn alle seine Transitionen lebendig sind: .
  • tot, wenn alle seine Transitionen tot sind: .