Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Modellierung verteilter<br />
Berechnung (3/3)<br />
� Ausführbarkeit einer Transition t: Gilt für eine Markierung<br />
M': S→IN 0, dass ∀s ∈ •t : M'(s)≥1, so ist t ausführbar.<br />
� Semantik: Folge von Markierungen > Schaltregel<br />
� Schaltregel: Eine Markierung M': S→IN 0 kann aus einer Markierung M<br />
wie folgt hervorgehen:<br />
Beispiel:<br />
•t1={s1,s2}<br />
t1• ={s2,s3}<br />
M(s1)=3, M(s2)=1,<br />
M(s3)=1<br />
(=> t1 ausführbar)<br />
M'(s)=<br />
s1<br />
s3<br />
s2<br />
t1<br />
M(s)+1 falls t ausführbar, s∈t• aber s∉•t<br />
M(s)-1 falls t ausführbar, s∈•t aber s∉t•<br />
M(s) sonst<br />
M»M'<br />
s1<br />
s3<br />
s2<br />
t1<br />
M'(s1)=2,<br />
M'(s2)=1,<br />
M'(s3)=2<br />
33/47