Petri-Netze Flashcards
Wofür werden Petri-Netze verwendet?
- Petri Netze erlauben Darstellung von prozessen mit geteilten Ressourcen
- Modelieren Abläufe
- Gehören nicht zu UML
- Sind vollkommen Mathematisch definiert und können algorithmisch verarbeitet werden
Wie ist ein Petri-Netz Mathematisch definiert?
Wie sieht ein einfaches Petri-Netz aus?
Was bezeichnet man als Vorbereich, was als Nachbereich, was ist das feuern und wann ist dies möglich?
- Vorbereich: Alle Stellen, die vor einer Transaktion t mit dieser verbunden sind
- Nachbereich: Alle Stellen, die nach einer Transaktion t mit dieser verbunden sind
- feuern: das auslösen einer Transaktion t, dabie werden die entsprechende Anzahl der Ressourcen aus dem Vorbereich genommen und in den Nachbereich geschoben
- Sind nicht genügend Marken im Vorbereich enthalten oder der Nachbereich ist voll, kann nicht gefeuert werden
Wie kann man einen Knoten begrenzen?
Dieser knoten darf dann nicht mehr Marken als die angegebene Zahl besitzen
Wie sieht ein Erzeuger-Verbraucher Netz aus, wie funktioniert es?
Der Erzeuger kreis läuft einmal durch und generiert “aus dem nichts” eine Marke und der Verbraucher kreis kann durchlaufen sobald der Erzeuger einmal durchgelaufen ist und verbraucht die erzeugte Marke
Was ist die Markierung des Petri-Netzes?
Was sind Markierungen bei Transaktionen?
Sie zeigen an, wie sich der Vorbereich und der Nachbereich verhält. Addiert bzw subtrahiert man diese von der aktuellen Markierung erhält man den Zustand nach einer Transaktion
Was ist Erreichbarkeit in einem Petri-Netz?
- Eine Markierung ist erreichbar wenn es eine Folge von Transaktionen gibt um diese zu erreichen ausgehend von der Anfangsmarkierung
- Diese Folge nennt man auch Schaltfolge
Was ist ein Erreichbarkeitsgraph und wie sieht dieser aus?
- Es sind alle Verzweigungen und Zustände mit allen Transaktionen die dazu hinführen
Wann spricht man beim Petri-Netz von einer starken Lebendigkeit?
- In einem Petrinetz spricht man von starker Lebendigkeit, wenn von jedem Zustand aus mindestens eine Transition erreichbar ist.
- Man kann sich also nicht in einer Markierung festfahren (deadlock)
Was bedeutet schwache Lebendigkeit im Petri-Netz?
Was ist ein Deadlock in einem Petri-Netz?
- Wenn man vom aktuellen Zustand keine Transaktion mehr durchführen kann
- Ein Petri-Netz ohne Deadlock nennet man verklemmungsfrei