Netz

Netz
Ein Netz ist ein Tripel N = (S, T , F ) mit
einer endlichen Menge S von Stellen,
einer endlichen Menge T von Transitionen mit T S = und
einer Flussrelation F (S T ) (T S).

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

1 / 16

Vor- und Nachbereiche

Vor-und Nachbereich
F
ur x S T bezeichnet
x

= {y S T | (y , x) F } den Vorbereich von x und

x = {y S T | (x, y ) F } den Nachbereich von x.

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

2 / 16

Weitere Voraussetzungen

Es gibt keine Schlingen, d.h. t t = f

ur alle t T
Jede Transition hat mindestens eine Vor- und eine Nachbedingung,
d.h., t 6= und t 6= f
ur alle t T .

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

3 / 16

Elementares Netzsystem

Elementares Netzsystem
Ein elementares Netzsystem ist ein 4-Tupel ENS = (S, T , F , M0 ), wobei
(S, T , F ) ein Netz und
M0 S die initiale Markierung von ENS ist.

Anmerkung: Stellen heien bei elementaren Netzsystemen auch

Bedingungen und Transitionen Ereignisse.

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

4 / 16

Markierungen

Markierung
Eine Markierung von ENS ist eine Teilmenge M S.

Graphische Darstellung:
Jede markierte Stelle wird als Stelle mit einer Marke dargestellt:

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

5 / 16

Beispiel: Erzeuger-Verbraucher-System

p1

c1

consume

produce
buffer
p2

put

Sabine Kuske (Universit

at Bremen, Informatik)

c2

take

Petri-Netze, WS 2015/2016

6 / 16

Schaltverhalten
M-aktivierte Transition
Eine Transition heit M-aktiviert, wenn t M und t M = .
(Das heit: jede Stelle im Vorbereich von t ist markiert; jede Stelle im
Nachbereich von t ist unmarkiert.)

Schalten einer Transition

Eine M-aktivierte Transition schaltet von M nach M 0 S, in Zeichen
M[tiM 0 , falls
M 0 = (M t) t .
(Das heit: Die Stellen im Vorbereich von t werden unmarkiert; die Stellen
im Nachbereich von t werden markiert.)

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

7 / 16

Beispiel

p1

p1

c1

consume

produce

p2

put

consume

produce

[takei

buffer

buffer
p2

c2

take

Sabine Kuske (Universit

at Bremen, Informatik)

c1

put

c2

take

Petri-Netze, WS 2015/2016

8 / 16

Schaltfolgen
Sei N = (S, T , F ) ein Netz. Dann gilt:
1

Das leere Wort ist eine Schaltfolge von M nach M f

ur jede
Markierung M, d.h. M[iM.
Seien M, M 0 , M 00 S, w T mit M[w iM 0 , und sei t T mit
M 0 [tiM 00 . Dann ist wt eine Schaltfolge von M nach M 00 , d.h.
M[wtiM 00 .

Sei ENS = (S, T , F , M0 ) ein elementares Netzsystem. Die Menge aller

Schaltfolgen von ENS ist definiert als
FS(ENS) = {w T | M S : M0 [w iM}.

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

9 / 16

Erreichbare Markierungen
Sei ENS = (S, T , F , M0 ) ein elementares Netzsystem und seien
M, M 0 S Markierungen von ENS.
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 | M[iM 0 }.
Die Menge der in ENS erreichbaren Markierungen ist
Reach(ENS) = Reach(M0 ).

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

10 / 16

Erreichbarkeitsgraph

Sei ENS = (S, T , F , M0 ) ein elementares Netzsystem.

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

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

11 / 16

Beispiel: Erreichbarkeitsgraph f
ur das
Erzeuger-Verbraucher-System

{p1 , buffer, c2 }
produce
consume

take

{p2 , buffer, c2 }
consume

{p1 , c1 }
take

{p2 , buffer, c1 }
put
produce
{p1 , buffer, c1 }

Sabine Kuske (Universit

at Bremen, Informatik)

produce

consume

{p2 , c1 }

put

{p1 , c2 }
consume produce
{p2 , c2 }

Petri-Netze, WS 2015/2016

12 / 16

Wege und Kreise in Erreichbarkeitsgraphen

Sei ENS ein elementares Netzsystem. Sei G (ENS) = (V , E ) der

Erreichbarkeitsgraph von ENS. Sei n N und seien M, M 0 V .
Ein Weg in G (ENS) von M nach M 0 der Lange n ist eine Folge
M0 t1 M1 t2 . . . tn Mn
mit M0 = M, Mn = M 0 , und (Mi1 , ti , Mi ) E f
ur i = 1, . . . , n.
Insbesondere ist jeder Knoten M V ein Weg der Lange 0.
Ein Weg M0 t1 M1 t2 . . . tn Mn ist ein Kreis, falls n 1 und M0 = Mn .
G (ENS) ist azyklisch, falls G (ENS) keine Kreise enthalt.

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

13 / 16

Eigenschaften von Erreichbarkeitsgraphen

elementarer Netzsysteme
Sei G (ENS) = (V , E ) der Erreichbarkeitsgraph eines elementaren
Netzsystems ENS = (S, T , F , M0 ). Dann gelten folgende Eigenschaften:
G (ENS) ist endlich, d.h., V und E sind endliche Mengen.
F
ur jedes M V existiert ein Weg von M0 nach M.
Aus jedem M V f
uhren h
ochstens #T Kanten heraus, d.h.
outdegree(M) #T
mit outdegree(M) = #{e E | pr1 (e) = M}.
(# steht f
ur Anzahl der Elemente, pr f
ur Projektion.)
In jedes M V f
uhren h
ochstens #T Kanten hinein, d.h.
indegree(M) #T
mit indegree(M) = #{e E | pr3 (e) = M}.
Jeder Kreis in G (ENS) hat mindestens die Lange 2.
Sabine Kuske (Universit
at Bremen, Informatik)

Petri-Netze, WS 2015/2016

14 / 16

Deadlocks und Termination

Sei ENS = (S, T , F , M0 ) ein elementares Netzsystem.
Eine Markierung M Reach(ENS) ist ein Deadlock von ENS, falls
keine Transition M-aktiviert ist, d.h., Reach(M) = {M}.
ENS ist deadlockfrei, falls Reach(ENS) kein Deadlock enthalt.
ENS ist terminierend, falls es keine unendliche Folge
M0 [t1 iM1 [t2 i . . .
gibt (d.h., FS(ENS) ist endlich).

Beobachtungen
1

ENS ist genau dann deadlockfrei, wenn outdegree(M) 1 f

ur jeden
Knoten M in G (ENS).

ENS ist genau dann terminierend, wenn G (ENS) azyklisch ist.

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

15 / 16

Beziehung zu endlichen Automaten

Satz
Sei ENS = (S, T , F , M0 ) ein elementares Netzsystem und sei A(ENS) der
von G (ENS) = (V , E ) induzierte endliche Automat mit
Zustandsmenge V ,
Eingabealphabet T ,
Zustands
uberf
uhrung E ,
Startzustand M0 und
Endzustanden V .
Dann erkennt A(ENS) die Sprache aller Schaltfolgen von ENS, d.h.,
L(A(ENS)) = FS(ENS).

Sabine Kuske (Universit

at Bremen, Informatik)

Petri-Netze, WS 2015/2016

16 / 16