Registrieren Passwort vergessen?

Petri-Netz

14. Nov 2008, 23:02

Ein Petri-Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri-Netze nennt man auch Bedingungs- oder Ereignisnetz. Petri-Netze wurden durch Carl Adam Petri in den 1960er Jahren definiert. Sie verallgemeinern wegen der Fähigkeit, nebenläufige Ereignisse darzustellen, die Automatentheorie.

Inhaltsverzeichnis

[Bearbeiten] Funktionsweise

Einfaches Petri-Netz

Ein Petri-Netz ist ein bipartiter und gerichteter Graph. Er besteht aus Stellen (Places) und Übergängen bzw. Transitionen (Transitions). Stellen und Transitionen sind durch gerichtete Kanten verbunden. Es gibt keine direkten Verbindungen zwischen zwei Stellen oder zwei Transitionen.

Einfaches Petri-Netz

Stellen werden als Kreise, Transitionen als Rechtecke dargestellt. Jede Stelle hat eine Kapazität und kann entsprechend viele Token, Marken bzw. Zeichen enthalten. Ist keine Kapazität angegeben, steht das für unbegrenzte Kapazität oder für eins. Jeder Kante ist ein Gewicht zugeordnet, das die Kosten dieser Kante festlegt. Ist einer Kante kein Gewicht zugeordnet, wird der Wert eins verwendet.

Sind alle Kapazitäten der Stellen und Gewichte der Kanten eines Petri-Netzes 1, so wird es auch als Bedingungs-, Prädikat- oder Ereignis-Netz bezeichnet.

Die Belegung der Stellen heißt Markierung und ist der Zustand des Petri-Netzes.

Transitionen sind aktiviert bzw. schaltbereit, falls sich in allen Eingangsstellen mindestens so viele Marken befinden, wie die Transitionen Kosten verursacht und alle Ausgangsstellen noch genug Kapazität haben, um die neuen Marken aufnehmen zu können. Schaltbereite Transitionen können zu einem beliebigen Zeitpunkt schalten. Beim Schalten einer Transition werden aus deren Eingangsstellen entsprechend den Kantengewichten Marken entnommen und bei den Ausgangsstellen entsprechend den Kantengewichten Marken hinzugefügt. Marken werden in einem Petri-Netz nicht bewegt. Sie werden entfernt und erzeugt!

Die Marken eines Petri-Netzes sind in ihrer einfachsten Form voneinander nicht unterscheidbar. Für komplexere, aussagekräftigere Petri-Netze sind Markeneinfärbungen, Aktivierungszeiten und Hierarchien definiert worden.

[Bearbeiten] Wichtige Begriffe

Lebendigkeit:

Eine Transition heißt
  • tot, falls sie unter keiner Folgemarkierung aktiviert ist.
  • aktivierbar, falls sie unter mindestens einer Folgemarkierung aktiviert ist.
  • lebendig, falls sie in jeder erreichbaren Markierung aktivierbar ist.
Ein Petri-Netz heißt
  • tot, falls alle Transitionen tot sind.
  • todesgefährdet, falls das Petri-Netz unter einer Folgemarkierung tot ist.
  • verklemmungsfrei oder schwach lebendig, falls es unter keiner Folgemarkierung tot ist.
  • (stark) lebendig, falls alle Transitionen lebendig sind.

Erreichbarkeit: Eine Markierung eines Petri-Netzes heißt erreichbar, falls es eine Schaltsequenz der Transitionen gibt, welche die Startmarkierung in diese Markierung überführt.

Konservativität: Ein Petri-Netz heißt konservativ, falls die (beliebig) gewichtete Summe der Marken konstant ist.

Beschränktheit: Ein Petri-Netz heißt b-beschränkt, wenn es eine Schranke b gibt, so dass nie mehr als b Marken in einer Stelle liegen.

Sicherheit: Ein Petri-Netz heißt sicher, falls es 1-beschränkt ist.

Konflikt: Es besteht ein Konflikt bei einer nicht nebenläufigen Aktivierung von zwei Transitionen. Im Vorbereich bedeutet das, dass zwei Transitionen die gleiche Marke benötigen um zu schalten. Im Nachbereich sind es zwei Transitionen, die Marken erzeugen können, aber die Kapazität nicht für beide ausreicht.

Kontakt: Eine Transition hat Kontakt, wenn Sie nicht schalten kann, weil sonst die Kapazität einer Stelle im Nachbereich überschritten würde.

[Bearbeiten] Formale Definition

Ein Petri-Netz ist ein 6-Tupel (S,T,F,K,W,m0). Durch das 3-Tupel (S,T,F) ist ein bipartiter und gerichteter Graph definiert.

  • S, nichtleere Menge von Stellen S = {s1,s2,...,s|S|}
  • T, nichtleere Menge von Transitionen (Übergängen) T = {t1,t2,...,t|T|}
  • F, nichtleere Menge der Kanten (Flussrelation) F ⊆ (S × T) ∪ (T × S)
  • K, Kapazitäten der Plätze, Kapazitätsfunktion K : S → \mathbb{N}\,\cup\,\{\infty\}
  • W, Kosten der Kanten, Gewichtsfunktion W : F → \mathbb{N}
  • m0, Startmarkierung m0 : S → \mathbb{N}

Die Mengen der Stellen S und Transitionen T sind disjunkt (formal: S \cap T = \emptyset). Die aktuelle Markierung m : S \rightarrow \mathbb{N} bezeichnet man als Zustand des Petri-Netzes. m(s) ist die Anzahl der Marken auf Stelle s.

Folgende (Teil-)Mengen sind für t \in T definiert:

  • Vorbereich \bullet t = \lbrace s \in S | (s,t) \in F \rbrace, also alle Stellen, von denen eine Kante zur Transition t führt,
  • Nachbereich t\bullet = \lbrace s \in S | (t,s) \in F \rbrace, also alle Stellen, zu denen eine Kante von der Transition t aus führt.

[Bearbeiten] Schaltbereitschaft

Eine Transition t heißt aktiviert, schaltbereit oder hat Konzession, falls gilt:

  1. \forall s \in \bullet t : m(s) \ge W(s,t)
  2. \forall \in t\bullet \backslash \bullet t : K(s) \ge m(s) + W(t,s)
  3. \forall s \in t\bullet \cap \bullet t : K(s) \ge m(s) - W(s,t) + W(t,s)

[Bearbeiten] Schaltvorgang

Eine aktivierte Transition t kann schalten. Falls sie schaltet, werden für alle Plätze s die Anzahl der Marken wie folgt neu berechnet:

m'(s) = m(s) - W(s,t) falls s ∈ •t und s ∉ t•
m'(s) = m(s) + W(t,s) falls s ∉ •t und s ∈ t•
m'(s) = m(s) - W(s,t) + W(t,s) falls s ∈ •t und s ∈ t•
m'(s) = m(s) sonst

[Bearbeiten] Synchronisationskonzepte in Petri-Netzen

  • Nebenläufige Ausführung
  • Semaphore
  • Lese-Schreib-Puffer

[Bearbeiten] Erweiterte Petri-Netze

Um mit Petri-Netzen genauere Modelle aufstellen zu können, wurden diese im Laufe der Zeit um neue Elemente erweitert. Daraus entstanden neue Klassen von Petri-Netzen, die einerseits mächtiger sind, andererseits aber schwerer oder gar nicht geschlossen analysiert werden können.

[Bearbeiten] Prioritäten und hemmende Kanten

  • Prioritäten werden als Zahlen, beginnend mit 1, neben einer Transition notiert. Wenn zwei zeitlose Transitionen aktiviert sind, schaltet die mit der höheren Priorität.
  • Hemmende Kanten verbinden Stellen mit Transitionen. Wenn eine hemmende Kante durch eine Marke in ihrer Ausgangsstelle aktiviert ist, kann die verbundene Transition nicht feuern, auch wenn alle ihre anderen eingehenden Kanten aktiviert sind.

Durch Prioritäten und hemmende Kanten erreichen Petri-Netze die Mächtigkeit der Turingmaschine.

[Bearbeiten] Zeiterweiterte Petri-Netze

Zusätzlich zu den zeitlosen Transitionen der klassischen Petri-Netze wurden Transitionen eingeführt, welche beim Schalten Zeit verbrauchen. Dabei unterscheidet man verschiedene Klassen von Netzen, je nachdem welche Art von zeitverbrauchenden Transitionen in ihnen vorkommen:

  • SPN (Stochastic Petri Net): Jede Transition verbraucht Zeit. Die Zeit, die eine Transition beim Schalten verbraucht, ist eine Zufallsvariable und exponentialverteilt. Diese Klasse von Petrinetzen eignet sich nicht zur Modellierung von Synchronisation.
  • GSPN (Generalized Stochastic Petri Net): Enthalten exponentialverteilte zeitbehaftete Transitionen und zeitlose Transitionen. Diese Klasse von Petri-Netzen lässt sich noch geschlossen analysieren. Warteschlangensysteme lassen sich als sehr einfache GSPNs darstellen.
  • DSPN (Deterministic Stochastic Petri Net): Neben den exponentialverteilten zeitbehafteten Transitionen gibt es auch solche mit deterministischer Schaltzeit. Dieser werden als ausgefüllte Rechtecke gezeichnet. Die Komplexität von DSPNs ist ungleich höher als die von GSPNs: Nur wenn in einem DSPN nie mehr als eine deterministische Transition aktiviert sein kann, ist es überhaupt noch analysierbar. Dennoch sind DSPNs beliebt, da sich viele Sachverhalte mit ihnen sehr viel genauer modellieren lassen und gute numerische Simulationsmethoden existieren.
  • Allgemeine Stochastische Petrinetze mit beliebigen Schaltzeitverteilungen.

[Bearbeiten] Farbige Petri-Netze

Farbige Petri-Netze erweitern Marken um verschiedenen "Farben", indem die Marken nun strukturiert und getypt sind. Während Marken bei normalen Petri-Netzen nicht unterschieden werden können, ist dies durch die Färbung der Marken möglich.

[Bearbeiten] Attributierte Petri-Netze

Verallgemeinerte Form der Petri-Netze, bei der Transitionen, Stellen und Konnektoren mit Attributen versehen werden können.

  • Die Attributierung der Konnektoren dient dazu, Daten und Objekte durch das Petrinetz zu transportieren.
  • Die Attributierung der Stellen dient der Regulierung deren Kapazität.
  • Die Attribute von Transitionen dienen der Zeitmodellierung, Verarbeitung der transportierten Daten sowie der bedingten Ausführung von Transitionen.

[Bearbeiten] Anwendungsgebiete

[Bearbeiten] Siehe auch

[Bearbeiten] Literatur

  • Abel, Dirk: Petri-Netze für Ingenieure − Modellbildung und Analyse diskret gesteuerter Systeme, Berlin: Springer Verlag, 1990, ISBN 3-540-51814-2
  • Baumgarten, Bernd : Petri-Netze - Grundlagen und Anwendungen, Heidelberg: Spektrum Akademischer Verlag, 1996, ISBN 3-8274-0175-5
  • Billington, Jonathan ; Reisig, Wolfgang: Application and Theory of Petri Nets, Springer, 1996, ISBN 3-540-61363-3
  • König, Rainer ; Quäck, Lothar: Petri-Netze in der Steuerungs- und Digitaltechnik, München: Oldenbourg, 1988, ISBN 3-486-20735-0
  • Petri, Carl Adam: Kommunikation mit Automaten, Bonn: Schriften des Rheinisch-Westfälischen Institutes für instrumentelle Mathematik an der Universität Bonn, 1962
  • Priese, Lutz ; Wimmel, Harro: Petri Netze, Berlin: Springer Verlag, 2008, ISBN 978-3-540-76970-5
  • Reisig, Wolfgang: Petrinetze - Eine Einführung, Berlin: Springer, 1990, ISBN 3-540-16622-X
  • Reisig, Wolfgang ; Rozenberg, Grzegorz: Lectures on Petri Nets, Springer, 1998, ISBN 3-540-65306-6
  • Starke, Peter H.: Analyse von Petri-Netz-Modellen, Stuttgart: B.G. Teubner, 1990, ISBN 3-519-02244-3
  • Zuse, Konrad: Petri-Netze aus der Sicht des Ingenieurs, Braunschweig: Vieweg, 1980, ISBN 3-528-09615-2

[Bearbeiten] Weblinks

Von „http://de.wikipedia.org/wiki/Petri-Netz“
Dieser Artikel ist eine Kopie aus der freien Enzyklopädie Wikipedia. Am Originalartikel kann jeder Korrekturen und Ergänzungen vornehmen. Zudem kann man frühere Versionen einsehen.
In Kooperation mit Lycos Europe Network