WikiDer > Petrinetz
Petrinetze oder P/T-Netze Bereich MathematikerModellierungssprache der in der Informatik wird verwendet, um verteilte oder anderweitig parallele zu steuern Prozesse zu modellieren. Petrinetze sind Grafiken die normalerweise als Diagramm unterschrieben werden; sie können als Alternative zu angesehen werden Aktivitätsdiagramme.
Sie werden erstmals in der Dissertation von Carl Adam Petric (1962).
Endliche Automaten (die keine Parallelität unterstützen) können als begrenzte, spezifische Formen von Petrinetzen verstanden werden.
Ein Petrinetz besteht aus Orten und Übergänge verbunden mit Pfeilen, mit 0 oder mehr an jeder Stelle Token (das niederländische Wort dafür, Zeichen wird selten verwendet). Orte werden meist als Kreise gezeichnet, Übergänge als Balken oder Quadrate, Spielsteine als Würfelaugen. In den meisten Standard-Petrinen verbinden Pfeile nur Orte und Übergänge, niemals Orte mit Orten oder Übergänge mit Übergängen.
Ein Übergang stellt einen möglichen Zustandsübergang dar; die Stellen bezeichnen Zustände oder Einrichtungen, die für die Ausführung von Transitionen erforderlich sein können oder die durch die Ausführung erfüllt / freigegeben werden können. Die Pfeile zeigen an, welche Stellen Vorbedingungen oder Nachbedingungen für welche Transitionen sind. Die Stellen, mit denen eine Transition über eingehende Pfeile verbunden ist, heißen Eingabeorte des Übergangs aufgerufen; das Ausgabeorte sind die Stellen, an denen (ausgehende) Pfeile vom Übergang ausgehen.
Der Zustand des petrinen Netzes ist a Markierung, die jedem Ort eine nicht negative Zahl zuweist, die die Anzahl der verfügbaren Kopien dieser Einrichtung darstellt. Im Diagramm wird dies durch die entsprechende Anzahl von Punkten (Token) stattdessen. Das Auftreten eines Übergangs ist Brennen erwähnt; es ist nur möglich, wenn sich an jeder der Eingabestellen der Transition mindestens ein Token befindet und bewirkt, dass an jeder dieser Stellen ein Token verschwindet (ist verbraucht), während jedem der Ausgabeorte ein Token hinzugefügt wird (produziert). Die Implementierung eines Petrinetzes wird auch als bezeichnet Token-Spiel erwähnt.
Wenn sich an einem Ort nie mehr als ein Token befindet, kann dieser Ort als a . interpretiert werden Bedingung die erfüllt werden können oder nicht. Wenn dies für alle Orte zutrifft, wird das Petrinennetz sicher erwähnt.
 | Siehe die Kategorie Petri-Netze von Wikimedia Commons für Mediendateien zu diesem Thema. |