Was bedeutet bipartit?
Stellen und Transitionen wechseln sich ab; keine gleichen Verbindungen.
Formale Definition eines Petri-Netzes?
PN = (S, T, F) mit S = Stellen, T = Transitionen, F = Kanten.
Was ist die Anfangsmarkierung m₀?
Startzustand mit Anfangsmarken.
Was ist eine Pre-Kante / Post-Kante?
Pre: von Stelle zu Transition; Post: von Transition zu Stelle.
Wann ist ein Netz schlingenfrei?
Wenn keine Verbindung Stelle–Transition–Stelle in beide Richtungen existiert.
Wann ist eine Transition aktivierbar?
Wenn jede Eingangs-Stelle ≥1 Marke hat.
Was passiert beim Schalten?
Marken in Eingängen entfernt, in Ausgängen erzeugt.
Was ist ein Konflikt?
Mehrere Transitionen teilen sich eine Marke.
Was ist die Konzessionsregel?
Transition darf nur schalten, wenn alle Bedingungen erfüllt sind.
Wozu dient der Erreichbarkeitsgraph?
Zeigt alle möglichen Markenverteilungen.
Wann ist ein Netz lebendig?
Jede Transition kann irgendwann schalten.
Wann ist es reversibel?
Ausgangszustand kann wieder erreicht werden.
Was ist ein Deadlock?
Keine Transition mehr schaltbar.
Was ist ein Livelock?
Unendliche Aktivität ohne Fortschritt.
Was ist eine S-Invariante?
Erhaltung der Markenanzahl in bestimmten Stellen.
Was ist eine T-Invariante?
Wiederkehrende Abfolge von Transitionen.
Wofür dient die Inzidenzmatrix?
Mathematische Darstellung der Verbindungen.
Was bewirkt eine Testkante?
Prüft Marken, entfernt sie aber nicht.
Was bewirkt eine Inhibitorkante?
Blockiert Transition, wenn Marke vorhanden.
Wozu werden Petri-Netze genutzt?
Analyse, Simulation, Synchronisation, Konfliktvermeidung.
Zuletzt geändertvor 2 Monaten