15 Petri-Netze Flashcards
Was ist die Hauptmotivation für die Verwendung von Petri-Netzen?
Petri-Netze werden verwendet, um Prozesse darzustellen, die auf geteilte Ressourcen zugreifen und potenzielle Konflikte beinhalten. Sie sind besonders geeignet, um die Interaktion zwischen unabhängigen, nebenläufigen Prozessen zu modellieren, was mit Aktivitäts- und Zustandsdiagrammen nicht möglich ist.
Was ist ein Petri-Netz?
Ein Petri-Netz ist ein gerichteter, gewichteter und bipartiter Graph, der aus zwei Arten von Knoten besteht: Stellen (die Ressourcen oder Bedingungen repräsentieren) und Transitionen (die Ereignisse oder Zustandsänderungen repräsentieren). Kanten verbinden diese Knoten und können gewichtet sein.
Was sind die Hauptkomponenten eines Petri-Netzes?
Die Hauptkomponenten eines Petri-Netzes sind:
- Stellen: Repräsentieren mögliche Plätze für Ressourcen.
- Marken: Repräsentieren die Ressourcen selbst.
- Transitionen: Repräsentieren Systemübergänge oder Ereignisse.
- Kanten: Verbinden Stellen und Transitionen und können gewichtet sein.
Was versteht man unter der Schaltsemantik eines Petri-Netzes?
Die Schaltsemantik beschreibt, wie Transitionen in einem Petri-Netz feuern. Eine Transition kann nur feuern, wenn in allen eingehenden Stellen genügend Marken vorhanden sind. Beim Feuern werden Marken aus den Vorbereichen der Transition entnommen und in die Nachbereiche der Transition eingefügt, entsprechend dem Gewicht der Kanten.
Wie kann die Kapazität einer Stelle in einem Petri-Netz begrenzt werden?
Die Kapazität einer Stelle in einem Petri-Netz kann durch ein einfaches Label k = <Anzahl> begrenzt werden, das angibt, wie viele Marken maximal in dieser Stelle enthalten sein dürfen.</Anzahl>
Was ist eine Markierung in einem Petri-Netz?
Eine Markierung ist eine Abbildung, die festlegt, wie viele Marken in jeder Stelle eines Petri-Netzes vorhanden sind. Sie beschreibt den aktuellen Zustand des Netzes.
Wann ist eine Transition in einem Petri-Netz aktiviert?
Eine Transition ist aktiviert, wenn genügend Marken in den eingehenden Stellen vorhanden sind, um die Transition zu schalten. Formal muss die Anzahl der Marken in den Vorbereichen der Transition größer oder gleich dem Gewicht der Kanten sein, die in die Transition führen.
Was ist ein Erreichbarkeitsgraph in einem Petri-Netz?
Ein Erreichbarkeitsgraph ist das Zustandsübergangsdiagramm eines Petri-Netzes. Er stellt alle möglichen Markierungen (Zustände) und die möglichen Übergänge zwischen diesen Markierungen durch das Feuern von Transitionen dar.
Was bedeutet es, wenn ein Petri-Netz lebendig ist?
Ein Petri-Netz ist lebendig, wenn für jede Transition und jede erreichbare Markierung eine Markierung existiert, unter der die Transition aktiviert ist. Das bedeutet, dass keine Transition dauerhaft blockiert ist und das System niemals in einen Deadlock-Zustand gerät.
Was ist ein Deadlock in einem Petri-Netz?
Ein Deadlock tritt in einem Petri-Netz auf, wenn es eine erreichbare Markierung gibt, unter der keine Transition aktiviert ist. Das bedeutet, dass das System in einem Zustand verharrt, aus dem es keine weiteren Zustandsübergänge mehr gibt.
