Beruflich Dokumente
Kultur Dokumente
Petri-Netze WS 15/16
1 / 22
Stellen/Transitions-System
Petri-Netze WS 15/16
2 / 22
Working1
Idle1
Working4
2
put1
2
Idle2
Res
put4
take4
put2
Idle4
take2
3
put3
Working2
3
Working3
Idle3
take3
Sabine Kuske (Universit
at Bremen, Informatik)
Petri-Netze WS 15/16
User 1 benotigt
zum Arbeiten 2
Items und gibt sie
nach der Arbeit
in den RessourcenPool zur
uck.
3 / 22
Markierungen
Markierung
Sei STS = (S, T , F , W , M0 ) ein S/T-System. Eine Markierung von STS
ist eine Abbildung M : S N.
M-aktivierte Transition
Eine Transition heit M-aktiviert, wenn
M(s) W (s, t)
f
ur alle s t.
Petri-Netze WS 15/16
4 / 22
Beispiel
take1
Working1
Idle1
Working4
2
put1
2
Idle2
Res
put4
take4
put2
Idle4
take2
3
put3
Working2
3
Working3
Idle3
take3
Sabine Kuske (Universit
at Bremen, Informatik)
Petri-Netze WS 15/16
Schaltverhalten
M(s) W (s, t)
M(s) + W (t, s)
M 0 (s) =
M(s)
W (s, t) + W (t, s)
M(s)
M 0 , in Zeichen M[tiM 0 ,
f
ur s t t
f
ur s t t
f
ur s t t
sonst
Petri-Netze WS 15/16
6 / 22
Beispiel
take1
Working1
Idle1
Working4
2
put1
2
Idle2
Res
put4
take4
put2
Idle4
take2
3
put3
Working2
3
Working3
Idle3
take3
Sabine Kuske (Universit
at Bremen, Informatik)
Petri-Netze WS 15/16
Erweiterte Gewichtsfunktion
Die erweiterte Gewichtsfunktion W0 : (S T ) (T S) N ist definiert
als
W (x, y ) falls (x, y ) F
W0 (x, y ) =
0 sonst
Mit Hilfe der erweiterten Gewichtsfunktion lasst sich das Schaltverhalten
von Transitionen k
urzer definieren:
Petri-Netze WS 15/16
8 / 22
Die Abbildung t
F
ur jede Transition t T sei t : S Z definiert als
t(s) = W0 (t, s) W0 (s, t).
Dann kann beim Schalten von M nach M 0 mittels einer M-aktivierten
Transition die Markierung M 0 auch abk
urzend beschrieben werden durch:
M 0 = M + t.
Petri-Netze WS 15/16
9 / 22
Schaltfolgen
Petri-Netze WS 15/16
10 / 22
Erreichbarkeit
Petri-Netze WS 15/16
11 / 22
Erreichbarkeitsgraph
Petri-Netze WS 15/16
12 / 22
Beispiel
Betrachte das S/T-System zur gemeinsamen Ressourcen-Nutzung:
take1
Working1
Idle1
Working4
2
put1
2
Idle2
Res
put4
take4
Idle4
put2
take2
3
put3
Working2
3
Working3
Idle3
take3
Sabine Kuske (Universit
at Bremen, Informatik)
Petri-Netze WS 15/16
13 / 22
Beobachtung
F
ur jede erreichbare Markierung M des S/T-Systems zur gemeinsamen
Ressourcen-Nutzung und jedes i {1, . . . , 4} gilt:
M(Idlei ) = 1 M(Workingi )
.
Petri-Netze WS 15/16
14 / 22
Petri-Netze WS 15/16
15 / 22
p2
t3
(1, 1, 1, 0, 1)
t2 p4
p2 t4
(2, 1, 0, 0, 1) t (3, 1, 0, 0, 0) t (2, 1, 1, 0, 0)
4
2
p1 t 1
p1 t1
t1 p1
p
p
4
p1
t1
p2
Petri-Netze WS 15/16
(0, 1, 0, 1, 0)
p4
t1
p1
16 / 22
Bemerkungen
Petri-Netze WS 15/16
17 / 22