To Do: Petrinetze (FS F.183 - 342)

Aufbau von Petrinetzen

Frage:

Woraus sind Petrinetze aufgebaut und was ist der jeweilige Zweck des Elements?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Low-/High-Level-Petrinetze

Frage:

Was ist der Unterschied zwischen Low- und High-Level-Petrinetzen

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Elementare Aktivität

Frage:

Was ist die elementare Aktivität in Petrinetzen? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Modellierungstechniken

Frage:

Welche Modellierungstechniken gibt es für Petrinetze? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Petribox

Frage:

Was ist eine Petribox?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Definition von Petrinetzen

Frage:

Wie sind Petrinetze formal definiert? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Definition von Markierung

Frage:

Wie ist eine Markierung formal definiert? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Vor- und Nachbereich

Frage:

Was sind Vor- und Nachbereich eines Knoten $x$? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Aktivierte Transitionen

Frage:

Wann ist eine Transition aktiviert (hat Konzession) in einer Markierung $m$? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Schaltende (feuernde) Transitionen

Frage:

Wann schaltet (feuert) eine Transition in $m$ und führt zu $m'$?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Erreichbarkeit

Frage:

Wann ist eine Markierung erreichbar?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Erreichbarkeitsgraph

Frage:

Wie ist der Erreichbarkeitsgraph eines Petrinetzes aufgebaut?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Tote Transitionen

Frage:

Wann ist eine Transition $t$ bei $m$ tot

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Lebendige Transitionen

Frage:

Wann ist eine Transition $t$ bei $m$ lebendig

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

$k$-beschränkte Stellen

Frage:

Wann ist eine Stelle $s$ $k$-beschränkt bei $m$? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Home-State-Markierung

Frage:

Wann ist eine Markierung $m$ eine Home-State-Markierung?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Verklemmungsfreie Petrinetze

Frage:

Wann ist ein Petrinetz $N$ verklemmungsfrei

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Lebendige Petrinetze

Frage:

Wann ist ein Petrinetz $N$ lebendig

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Reversible Petrinetze

Frage:

Wann ist ein Petrinetz $N$ reversibel?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

$k$-beschränkte Petrinetze

Frage:

Wann ist ein Petrinetz $N$ $k$-beschränkt

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beschränkte Petrinetze

Frage:

Wann ist ein Petrinetz $N$ beschränkt

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Monotonie des Schaltens

Frage:

Wie lautet der Satz von der Monotonie des Schaltens

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Unbeschränkte Petrinetze

Frage:

 Wann ist ein Petrinetz $N$ unbeschränkt?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Markierungen & Transitionen als Vektor

Frage:

Wie werden Markierungen und Transitionen als Vektor dargestellt? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Indizenzmatrix

Frage:

 Wie sieht eine Indizenzmatrix eines Petrinetzes aus?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Zustandsgleichung

Frage:

 Wie sieht eine Zustandsgleichung zwischen zwei Markierungen aus?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Stelleninvariante

Frage:

Wie ist eine Stelleninvariante $i$ definiert?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beschränktheit durch Stelleninvariante

Frage:

Wie kann die Beschränktheit von $s$ mittels einer Stelleninvariante $\vec{i}$ gezeigt werden? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Zustandsmaschinen

Frage:

Wann werden Petrinetze Zustandsmaschinen genannt?  

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Lebendige Zustandsmaschinen

Frage:

Wann ist eine Zustandsmaschine $N$ lebendig

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Erreichbarkeit in lebendigen Zustandsmaschinen

Frage:

Wann ist $m$ von $m_0$ in einer lebendigen Zustandsmaschine $N$ erreichbar?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Synchronisationsgraph

Frage:

Wann wird ein Petrinetz Synchonisationsgraph genannt?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Synchronisationsgraphen und Kreise

Frage:

Was ist ein Kreis in einem Synchronisationsgraphen und was ist seine Besonderheit? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Lebendigkeit in Synchronisationsgraphen

Frage:

Wann ist ein Synchronisationsgraph lebendig

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beschränktheit von Synchronisationsgraphen

Frage:

Wann ist ein Synchronisationsgraph $N$ beschränkt

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Verklemmungsfreiheit von Synchronisationsgraphen

Frage:

Welche Aussagen sind über stark zusammenhängende Synchronisationsgraphen $N$ bzgl. der Verklemmungsfreiheit äquivalent? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Sicherheit von Synchronisationsgraphen

Frage:

Wann ist ein Synchronisationsgraph $N$ sicher

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Free-Choice-Netze

Frage:

Wann wird ein Petrinetz Free-Choice-Netz genannt? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Konfusion

Frage:

Was wird bei Petrinetzen als Konfusion bezeichnet? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Konfliktcluster

Frage:

Was wird bei Petrinetzen als Konfliktcluster bezeichnet? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Siphon

Frage:

Was wird in einem Petrinetz als Siphon bezeichnet? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Falle

Frage:

Was wird in einem Petrinetz als Falle bezeichnet? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Commoners Theorem

Frage:

Was besagt das Commoners Theorem

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Rangtheorem

Frage:

Was besagt das Rangtheorem

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.