Algorithmen und Datenstrukturen

Modellierung verteilter Berechnung (2/3)
� Petri-Netze formal (Definition):
� Ein Petrinetz ist ein 4-Tupel (S,T,F,M) mit:
� S≠∅ (Menge von Stellen)
� T≠∅ ∧ S∩T=∅ (von S unterschiedliche Menge von Transitionen)
� F⊆S×T ∪ T×S (Flussrelation zw. Stellen und Transitionen u.u.)
� M: S→IN 0 (Startmarkierung der Stellen)
� Weitere Definitionen:
� •t = {s∈S|(s,t) ∈F} für t∈T
(Vorbereich einer Transition)
Beispiel:
� t• = {s∈S|(t,s) ∈F} für t∈T
(Nachbereich einer Transition) •t1={s1,s2}
t1• ={s2,s3}
s1
s3
s2
t1
32/47