wi1-wt08-kap03 - Informatik
wi1-wt08-kap03 - Informatik
wi1-wt08-kap03 - Informatik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Prof. Karcher<br />
Petri-Netze – formale Definition<br />
� Stellen-/Transitions-Netze: formale Definition<br />
� Ein Netz (Netzgraph, bipartiter Graph) ist definiert durch ein<br />
3-Tupel ( S, T, F ) mit S ∩ T = ∅ und F ⊆ ( S × T ) ∪ ( T × S )<br />
� Elemente von S heißen Stellen<br />
� Elemente von T heißen Transitionen<br />
� Elemente der Relation F heißen Kanten (Pfeile, Flussrelation)<br />
� Ein Stellen-Transitions-Netz P ist definiert durch ein<br />
5-Tupel ( S, T, F, K, W ), wobei ( S, T, F ) ein Netz ist sowie<br />
� K : S → Ν ∪ { ∞ } (Kapazitäten der Stellen)<br />
� W : F → Ν (Gewichte der Kanten)<br />
� Ein Stellen-Transitions-System ist definiert durch ein<br />
6-Tupel ( S, T, F, K, W, M 0 ), wobei ( S, T, F, K, W )<br />
ein Stellen-Transitions-Netz ist sowie<br />
� M 0 : S → Ν 0<br />
(Markierung)<br />
Vorlesung WI 1 A. Karcher WT08 Kapitel 3 „Zustandsorientierte Modelle“<br />
39