Petrinetze 1. Einführung Informatik : wesentlich Modellierung von

Präsentation zum Thema: "Petrinetze 1. Einführung Informatik : wesentlich Modellierung von"—  Präsentation transkript:

1 Petrinetze 1. Einführung Informatik : wesentlich Modellierung von
Struktur und Verhalten realer oder virtueller Systeme Systeme: Netze aus Personen, Geräten, Prozessoren, die miteinander kooperieren oder konkurrieren Modellierungshilfsmittel: formal anschaulich Petrinetze: sehr beliebt bei Anwendern, insbes. Ingenieuren

2 Einführendes Beispiel
(Reisig/Rozenberg: Informal Introduction to Petri Nets, LNCS 1491, SS )

3

4

5

6

7

8

9

10

11

12 2. Anschauliche Erläuterung des Konzepts der Petrinetze
Intuitive Bedeutung von Ellipse (oder Kreis): passive Komponente (Speicher; Bedingung, (Stelle/place) die erfüllt oder nicht erfüllt sein kann; lokale Zustandskomponente; sie bewahrt auf, macht zugreifbar/sichtbar) Rechteck (oder Quadrat): aktive Komponente (Transition) (Prozessor, Mensch, Ereignis; sie erzeugt, transportiert, ändert)

13 Pfeil: repräsentiert nicht eine Systemkomponente
sondern ist Mittel der Beschreibung für Zusammenhang/Beziehung, Zugriffsmöglichkeit/-recht, physikalische Nähe, direkte Verbindung. Verbindet nur Komponenten verschiedenen Typs (passiv-aktiv, aktiv-passiv) Bisher nur "Bilder", statische Ansichten / Schnappschüsse Wie wird Dynamik / werden Abläufe / Zustandsänderungen dargestellt?

14 Zustandsänderung im System bewirkt durch Ereignis/Aktivität im Petrinetz durch "Schalten" von Transitionen Was ist "der aktuelle Zustand" ? Im System: der relevante Speicherinhalt, das Erfüllt- oder Nichterfülltsein der relevanten Bedingungen,... Zustandsinformation für eine aktive Komponente ist stets lokal. Im Petrinetz: Die Inhalte ("Markierungen") der Stellen. Der relevante (lokale) Zustand für eine Transition ist bestimmt durch die mit der Transition durch Pfeile verbundenen Stellen

15 Einfachste Art der Markierung: Schwarze Punkte
(„Marken“, token) # zunächst werden nur solche Markierungen betrachtet #

16 + eine Marke in einer Stelle kann z.B. das Erfülltsein
einer Bedingung bedeuten + mehrere Marken bedeuten z.B. einen Vorrat an Ressourcen, die zum Schalten benötigt werden Was passiert beim Schalten einer Transition? Nur relevante lokale Zustände werden berücksichtigt/verändert: Schalten der Transition t: Entlang jedes mit t verbundenen Pfeiles wird in Pfeilrichtung eine Marke transportiert - von einer Stelle weggenommen oder auf sie gelegt. Also Voraussetzung fürs Schalten von t: Es müssen genügend Marken (in jeder mit t verbundenen Stelle) vorhanden sein: t muß "aktiviert" sein

17 Schalten einer Transition

18 3. Grundlegende Definitionen
Netz N = ( S, T, F ) S  T =  F  (S  T)  (T  S) Stellen Transitionen Flußrelation, Pfeile •x = {y  N | (y,x)  F} , •X = {•x  | x  X } analog x• = {y | (x,y) ...} , X• = ... x•

19 Markierung: Abbildung m : S –––––> |N = { 0,1,2,3, ... }
Stelle s aus S heißt markiert, wenn m(s) > 0 Transition t heißt aktiviert, wenn alle Stellen aus •t markiert sind. Dann kann t schalten, d.h. die Markierung von •t  t• so ändern: m(s) für s aus •t - t• m´(s) = { m(s) für s aus t• - •t m(s) sonst Man schreibt auch m[t > m´ Äquivalent ist m´(s) = m(s) - | F  {(s,t)} | + | F  {(t,s)} | Markierung m heißt tot, wenn sie keine Transition aktiviert

20

21 Sei m eine Markierung des Netzes N = (S,T,F).
Eine Folge t1 , t2 , ... ,tk von Transitionen von N heißt bei m aktivierte Schaltfolge, wenn k = oder wenn m[t1 > m1 und t2 , ...,tk bei m1 aktiviert ist. Mit  =  bzw.  = t1 t tk gelte m[ > m bzw. m[ > mk , wobei m1 [t tk > mk Feststellung: * Aus m[ > m´ und l[ > l´ folgt für jede Stelle s aus S m´(s) - m(s) = l´(s) - l(s) * Seien m, l Markierungen mit m(s) >= l(s) für jedes s aus S, dann ist jede bei l aktivierte Schaltfolge auch bei m aktiviert. * Seien u, v aus T mit v•  •u = , dann gilt mit m[vu > m´ auch m[uv > m´.

22

23 Eigenschaften markierter Netze
Markiertes Netz (Netzsystem): (N,m) Netz N mit (Anfangs)markierung m Markierung m´ heißt erreichbar in (N,m), wenn es eine bei m aktivierte Schaltfolge  mit m[ > m´ gibt. Stelle s von (N,m) heißt beschränkt, wenn nat. Zahl b existiert mit m´(s) <= b für jede erreichbare Markierung von (N,m). Mark. Netz heißt beschränkt, wenn jede Stelle beschränkt Bemerkung: Bei beschränkten Netzen kann die Zahl der erreichb. Markierungen exponentiell mit der Netzgröße wachsen Satz: Für endliche mark. Netze ist Beschränktheit entscheidbar

24

25 Markierungsgraph eines markierten Netzes
Knoten ~ alle erreichbaren Markierungen Startknoten ~ Anfangsmarkierung Pfeil mit Transitionsbezeichner t von Knoten (Markierung) m zu Knoten m’ g.d., w. t bei m aktiviert und m[t>m’ - endlich g.d., w. markiertes Netz beschränkt - markiertes Netz ist verklemmungsfrei g.d.,w. von jedem Knoten des Markierungsgraphen mindestens ein Pfeil wegführt.

26

27

28

29

30

31

32

33

34

35

36 Transition t heißt tot bei der Markierung m, wenn sie bei
keiner von m aus erreichbaren Markierung aktiviert ist. Ein markiertes Netz heißt lebendig, wenn bei keiner erreichbaren Markierung eine Transition tot ist Ein mark. Netz heißt verklemmungsfrei (schwach lebendig), wenn keine erreichbare Markierung tot ist. Ein mark. Netz heißt reversibel, wenn seine Anfangsmarkierung von jeder anderen erreichbaren Markierung erreichbar ist.

37

38

39

40

41

42

43

44

45 Überdeckungsgraph eines markierten Netzes (N, m0)
Für unbeschränkte markierte Netze statt Markierungsgraph eine reduzierte endliche Darstellung Knoten ~ verallgemeinerte Markierungen m Konstruktion analog zu der eines Markierungsgraphen • Start mit Anfangsmarkierung • sukzessive Pfeile von Knoten m zu Knoten m’, wenn m[t> m’, aber wenn auf Weg von m0 zu m’ schon ein m’’ auftrat mit m’(s)≥ m’’(s) für alle s, dann setze m’(s’) =  für alle s’ mit m’(s’)> m’’(s’)

46 m’(s’) =  bedeutet, daß s’ unbeschränkt ist, (und mindestens, eine
Marke enthält). Denn von m’ aus kann man dieselbe Schaltfolge ablaufen lassen, die von m’’ zu m’ führte, und so die Markenzahl wieder echt vergrößern usw. Satz: (N, m) ist beschränkt g.d., w. bei der Konstruktion des Überdeckungs-Graphen kein  auftritt.

47