Sie sind auf Seite 1von 17

Stellen/Transitions-Systeme

Sie verallgemeinern elementare Netzsysteme.


Stellen konnen beliebig viele Marken beinhalten.
Die Flussrelation ist mit einer Gewichtung ausgestattet.
Beim Schalten einer Transitionen werden Marken gema dieser
Gewichtung aus dem Vorbereich entfernt bzw. zum Nachbereich
hinzuaddiert.

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze WS 15/16

1 / 22

Stellen/Transitions-System

Ein 5-Tupel STS = (S, T , F , W , M0 ) heit Stellen/Transitions-System


(kurz S/T-System), wenn gilt:
(S, T , F ) ist ein Netz mit S T = ,
W : F N>0 ist eine Abbildung, die jeder Kante eine positive
nat
urliche Zahl als Gewicht zuordnet,
M0 : S N ist eine Abbildung, genannt Anfangsmarkierung.
Beachte: Im Gegensatz zu Netzen bei elementaren Netzsystemen kann
(S, T , F ) sowohl Kreise der Lange 2 als auch Transitionen ohne Vor- oder
Nachstellen enthalten.

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze WS 15/16

2 / 22

Beispiel: Gemeinsame Ressourcen-Nutzung


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

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.

Sabine Kuske (Universit


at Bremen, Informatik)

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

Bei dieser Markierung sind alle


take-Transitionen
aktiviert.
5 / 22

Schaltverhalten

Schalten einer Transition


Eine M-aktivierte Transition schaltet von M nach
falls

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

M 0 heit (direkte) Folgemarkierung von M.

Sabine Kuske (Universit


at Bremen, Informatik)

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

RessourcenNutzung nach dem


Schalten von take3.
7 / 22

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:

Schalten einer Transition


Eine M-aktivierte Transition schaltet von M nach M 0 , in Zeichen M[tiM 0 ,
falls
M 0 (s) = M(s) W0 (s, t) + W0 (t, s)
f
ur alle s S.

Sabine Kuske (Universit


at Bremen, Informatik)

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.

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze WS 15/16

9 / 22

Schaltfolgen

Sei STS = (S, T , F , W , M) ein S/T-System und seien M, M 0 : S N


Markierungen von STS.
Ein Wort w = t1 tn mit t1 , . . . , tn T und n 0 heit
Schaltfolge von M nach M 0 , falls gilt:
0 [t1 iM
1 [t2 i [tn iM
n = M0
M=M
0, . . . , M
n . In diesem Fall ist M 0 die
f
ur geeignete Markierungen M
Folgemarkierung von M bzgl. w und wir schreiben kurz M[w iM 0 .
(Beachte: F
ur n = 0 gilt M 0 = M.)

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze WS 15/16

10 / 22

Erreichbarkeit

M 0 heit erreichbar von M, in Zeichen M[iM 0 , falls es eine


Schaltfolge w T gibt, so dass M[w iM 0 .
Die Menge der von M erreichbaren Markierungen ist
Reach(M) = {M 0 : S N | M[iM 0 }.
Die Menge der in STS erreichbaren Markierungen ist
Reach(STS) = Reach(M0 ).

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze WS 15/16

11 / 22

Erreichbarkeitsgraph

Sei STS = (S, T , F , W , M0 ) ein S/T-System.


Der Erreichbarkeitsgraph von STS ist der Graph
G (STS) = (V , E )
mit der
Knotenmenge V = Reach(STS) und der
Kantenmenge E = {(M, t, M 0 ) V T V | M[tiM 0 }.

Sabine Kuske (Universit


at Bremen, Informatik)

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

Erreichbarkeitsgraph zur gemeinsamen


Ressourcen-Nutzung (1)

Wir benutzen folgende Reihenfolge der Stellen:


(Res, Working1 , Idle1 , . . . , Working4 , Idle4 ).

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 )
.

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze WS 15/16

14 / 22

Erreichbarkeitsgraph zur gemeinsamen


Ressourcen-Nutzung (2)

Abkurzungen und graphische Darstellung


Wir schreiben
(x, y1 , y2 , y3 , y4 ) f
ur (x, y1 , y1 1, y2 , y2 1, y3 , y3 1, y4 , y4 1)
p f
ur put und t f
ur take
die Startmarkierung (5, 0, 0, 0, 0) in rot
alle mit put beschrifteten Kanten in gr
un

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze WS 15/16

15 / 22

Erreichbarkeitsgraph zur gemeinsamen


Ressourcen-Nutzung (3)
p3
p4

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

(4, 0, 0, 0, 1) t (5, 0, 0, 0, 0) t (4, 0, 1, 0, 0)


4
2
p3 t3
p3 t 3
t3 p3
p4
p2
(1, 0, 0, 1, 1) t (2, 0, 0, 1, 0) t (1, 0, 1, 1, 0)
4
2
t4
t2
t4 p4
t2
(0, 0, 1, 1, 1)
p2
p3 t3
(3, 0, 1, 0, 1)

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze WS 15/16

(0, 1, 0, 1, 0)

p4
t1
p1
16 / 22

Bemerkungen

G (STS) ist zusammenhangend.

Zu jedem Knoten v V {M0 } f


uhrt ein einfacher Weg, der bei M0
beginnt.

Jeder Knoten von G (STS) besitzt h


ochstens #T hineingehende
Kanten und hochstens #T herausgehende Kanten. (#T ist die
Anzahl der Transitionen.)

G (STS) kann unendlich sein.

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze WS 15/16

17 / 22