Ich habe mal eine Frage zum Workflownetz in Abb. 4.22 im Skript.
Der nach Def. 4.23 definierte Abschluss des Netzes soll, so Aufgabe 4.25, nicht lebendig sein. Könnte jemand erklären, wieso? Man kann doch jede der Transitionen immer wieder zum Schalten bringen…oder nicht?
Danke!
das Netz soll ja b) aus Def 4.22 erfülle, aber a) und c) nicht,
(steht auf Seite 95)
daraus schließe ich dass Transition 6 nur schaltet wenn 2 Marken auf c3 liegen
(da scheint auch ein 'k' als Kantenbeschriftung zu stehen)
damit terminiert das Netz nicht wenn ein Prozess ordentlich abläuft und der andere in den Timeout übergeht,
es ist gar nicht mal ein 2. Durchlauf (Abschluss) nötig, schon vorher kann es schiefgehen
Hm, kann dir nicht ganz folgen.
>das Netz soll ja b) aus Def 4.22 erfülle, aber a) und c) nicht,
>(steht auf Seite 95)
Da steht doch, dass es c, aber nicht a und b!
Wie kommst du zu deinem Schluss?
>Daraus schließe ich dass Transition 6 nur schaltet wenn 2 Marken >auf c3 liegen
>(da scheint auch ein 'k' als Kantenbeschriftung zu stehen)
Das "K" hab ich als Schreibfehler gesehen, und denke z Zt immer noch, dass es so ist. Ich denke, Workflownetze haben per Definition eine 1er-Kantenbewertung (steht direkt unter der Abb in der Definition "markiertes WF-Netz").
Danke!
da hast du Recht und ich ein bisschen zu schnell gelesen (passte doch zu schön ;) ),
so sehe ich im Moment auch keinen Grund warum das nicht lebendig sein sollte
was genau heißt eigentlich 'N terminiert immer'?
was genau heißt eigentlich 'N terminiert immer'?
Das soll wohl die Erklärung für a) in der Definition für korrekte
WF-Netze sein.
ach Mensch ja, ich sollte vorher das ganze Skript lesen ;)