3. Übung zu Software Engineering

Weitere Magazine

Empfehlungen

Info

Aufgabe 7 Erstellen Sie für das unten dargestellte Stellen/ Transitions-Netz einen Überdeckungsgraphen. Gehen Sie davon aus, dass sämtliche Stellenkapazitäten unbeschränkt und alle Kanten mit 1 gewichtet sind. Ist das Netz lebendig? Ist das Netz deadlockfrei? Übung zu Software Engineering im WS 2007/2008 17 Philipp Ciechanowicz
Aufgabe 7 Überdeckungsgraph Zustände als Knoten mit Markenbelegung als Beschriftung Zustandsübergänge als Kanten mit Transition als Beschriftung ist immer endlich (im Gegensatz zum Erreichbarkeitsgraph) Zustandsüberdeckung Sei N ein Stellen/Transitions-Netz mit einer Markenbelegung m, das durch Schalten einer Transition t eine Folgemarkenbelegung m‘ erreicht die Markenbelegung einer Stelle s im Zustand m‘ muss durch ∞ ersetzt werden, wenn es einen Zustand m‘‘ gibt, dessen Markenbelegung kleiner als die von m‘ ist, d.h. m‘‘ < m‘ (daher der Begriff „Überdeckungsgraph“) und ein Weg von m‘‘ nach m‘ existiert der Zustand m‘ wird nach der Ersetzung als m~ bezeichnet Übung zu Software Engineering im WS 2007/2008 18 Philipp Ciechanowicz
Seite 1 und 2: 3. Übung zu Software Engineering W
Seite 3 und 4: Aufgabe 4 Zustandsautomat A = (Q,
Seite 5 und 6: Aufgabe 4 Buch defekt / entfernen()
Seite 7 und 8: Aufgabe 5 Modellieren Sie die Proze
Seite 9 und 10: Aufgabe 5 Transitionen (Ereignisse)
Seite 11 und 12: Aufgabe 5 Nebenläufigkeit Transiti
Seite 13 und 14: Aufgabe 5 Anmerkungen zu Petri-Netz
Seite 15 und 16: Aufgabe 6 Erreichbarkeitsgraph stel
Seite 17: Aufgabe 6 Eigenschaften des Erreich
Seite 21 und 22: Aufgabe 7 Zustand (0101) m = (1100)
Seite 23: Literatur W. Reisig: Petrinetze. Ei

3. Übung zu Software Engineering

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?