Bearbeiten von „Gedächtnisprotokoll FGI208-1“
Zur Navigation springen
Zur Suche springen
Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird bei Bearbeitungen öffentlich sichtbar. Melde dich an oder erstelle ein Benutzerkonto, damit Bearbeitungen deinem Benutzernamen zugeordnet werden.
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 13: | Zeile 13: | ||
Es kamen kaum Fragen dran die nicht auch in den Übungsaufgaben behandelt wurden. | Es kamen kaum Fragen dran die nicht auch in den Übungsaufgaben behandelt wurden. | ||
== P/T-Netze == | == P/T-Netze== | ||
Gegeben ein P/T-Netz. | Gegeben ein P/T-Netz. | ||
Zeile 29: | Zeile 29: | ||
Welches ist die richtige Definition einer Lebendigkeitsinvarianz | Welches ist die richtige Definition einer Lebendigkeitsinvarianz | ||
* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m_0): \phi(m')</math> | * <math>\forall m \in R(N,m_0): \forall m' \in R(N,m_0): \phi(m')</math> | ||
* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m')</math> | * <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m')</math> | ||
* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m) </math> | * <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m) </math> |