Umdruck - Institut für Automatisierungs- und Softwaretechnik

2.5 Prozessführung von Folge- und Stückprozessen
AT II
Mathematische Darstellung eines Petri-Netzes
(1)
1
(1)
T 1
1
S 1
1 1
S 2
P = (S, T, F, K, W, M 0 ) mit
Menge der Stellen S = {S 1 , S 2 }
Menge der Transitionen T = {T 1 , T 2 }
Menge der Kanten F = {(S 1 ,T 1 ), (T 1 ,S 2 ), (S 2 ,T 2 ), (T 2 ,S 1 )}
Kapazität der Stellen K(S 1 ) = K(S 2 ) = 1
Kantengewichtung W(S 1 ,T 1 ) = W(T 1 ,S 2 ) = ... = 1
Ausgangsmarkierung M 0 (S 1 ) = 1, M 0 (S 2 ) = 0
T 2
Inzidenzmatrix
w ij : Verknüpfung der Stelle i mit der Transition j
w ij = 0 keine Verbindung
w ij = W(T j ,S i ) Transition Stelle
w ij = -W(S i ,T j ) Stelle Transition
Erreichbare Markierungen
M = M 0 + W • S
M 0
S
Ausgangs-Markierung
Sequenzvektor
z.B. 1 T 1 schaltet einmal
S =
2 T 2 schaltet zweimal
© 2013 IAS, Universität Stuttgart 190