Bearbeiten von „Gedächtnisprotokoll FGI209-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 34: | Zeile 34: | ||
# Geben sie die formale Definition von Beschränktheit eines Netzes an. | # Geben sie die formale Definition von Beschränktheit eines Netzes an. | ||
# Geben sie die formale Definition von struktureller Beschränktheit eines Netzes an. | # Geben sie die formale Definition von struktureller Beschränktheit eines Netzes an. | ||
# Beweisen oder widerlegen sie die Behauptung: <br | # Beweisen oder widerlegen sie die Behauptung: <br>''Wenn ein Netz beschränkt ist, und der Erreichbarkeitsgraph zwei oder mehr strenge Zusammenhangskomponenten besitzt, dann ist das Netz nicht reversibel.'' | ||
# Ändert es etwas, wenn das Netz unbeschränkt ist? | # Ändert es etwas, wenn das Netz unbeschränkt ist? | ||
Zeile 52: | Zeile 52: | ||
''(ich glaube man musste bei den Fragen Ja/Nein ankreuzen und begründen.)'' | ''(ich glaube man musste bei den Fragen Ja/Nein ankreuzen und begründen.)'' | ||
# Ist es entscheidbar ob ein P/T Netz beschränkt ist? | # Ist es entscheidbar ob ein P/T Netz beschränkt ist? | ||
# Ist es entscheidbar ob ein P/T Netz k-beschränkt ist? | # Ist es entscheidbar ob ein P/T Netz k-beschränkt ist? | ||
# Ist die Erreichbarkeit für CPN entscheidbar? | # Ist die Erreichbarkeit für CPN entscheidbar? | ||
# Gegeben ist ein P/T Netz mit <math>|P|</math> Plätzen und <math>|T|</math> Transitionen. Wir wissen, dass es <math>k</math>-beschränkt ist. Geben sie eine obere Abschätzung für die Anzahl der Knoten an, die der Erreichbarkeitsgraph hat! | # Gegeben ist ein P/T Netz mit <math>|P|</math> Plätzen und <math>|T|</math> Transitionen. Wir wissen, dass es <math>k</math>-beschränkt ist. Geben sie eine obere Abschätzung für die Anzahl der Knoten an, die der Erreichbarkeitsgraph hat! | ||
== Aufgabe 6 == | == Aufgabe 6 == | ||
Zeile 62: | Zeile 62: | ||
# zeichne den Erreichbarkeitsgraphen | # zeichne den Erreichbarkeitsgraphen | ||
# Ist die Makierung (1'1 , <math> \emptyset </math>, 1'false) erreichbar? | # Ist die Makierung (1'1 , <math> \emptyset </math>, 1'false) erreichbar? | ||
# Gilt <math>\forall p \in P : \forall m \in R(N) : \mid m(p)\mid \leq 1</math> ? | # Gilt <math>\forall p \in P : \forall m \in R(N) : \mid m(p)\mid \leq 1</math> ? | ||