V09 Prozessimulation mit einfachen Petrinetzen Flashcards

1
Q

Unterschiedliche Prozesselemente für die Simulation mit Petri-Netzen

A
  1. Sequentieller Prozess (hintereinander)
  2. Nebenläufige Prozesse
  3. Synchronisation
  4. Konflinkt
  5. Vereinigung
  6. Verwechslung (Doppelter Konflikt)
  7. Gegenseitiger Ausschluss von Prozessen
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Erläutern Sie die drei grundlegenden Strukturelemente von Petri-Netzen sowie das Zustandekommen einer Marke.

A
  • es gibt Stellen und Transitionen, die mit gerichteten Kanten verbunden sind
  • Stellen können Marken (Token) enthalten
  • Transitionen können schalten, wenn ihre Schaltbedingungen erfüllt sind
  • eine Kante hat 1 Gewicht
  • bestimmte Belegungen aller Stellen & Marken wird als Zustand bezeichnet
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Wie lautet die Aktivierungsbedingung einer Transition?

A
  • Anzahl Marken = Anzahl gerichtete Kanten
  • Stellen ausreichend Kapazität
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Welchen Effekt hat das Schalten bzw. „Feuern“ einer Transition auf die Eingangs- sowie Ausgansplätze?

A
  • Löschen der Marke aus dem Ausgangsplatz
  • Erzeugen einer Marke an dem Eingangsplatz
  • Marke wandert durch die Transition
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Bei der Entwicklung hierarchischer Petri-Netze sind Regeln zu beachten, um die Konsistenz des Petri-Netzes zu erhalten:

A
  1. In dem Petri-Netz dürfen keine neuen Kanten erzeugt werden. Zusätzliche Kanten dürfen nur innerhalb eines verfeinerten Teilnetzes zwischen Stellen und Transitionen eingefügt werden.
  2. Eingangs- und Ausgangskanten eines Teilnetzes müssen bereits vor der Verfeinerung vorhanden sein. Zudem müssen die vorgegebenen Richtungen berücksichtigt werden.
  3. Eine Verfeinerung muss „markengetreu“ erfolgen, d.h., die Anzahl der im Petri-Netz erzeugten und verbrauchten Marken muss identisch sein.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly