Flashcards
SWEGL Uebung 3 und 4
Cards in this deck (4)
- 1ZM = (S, I, s_0, S', T)S := Menge von Zuständen
I := Menge von Eingabedaten
s_0 := Anfangszustand
S' := Menge der Endzustände
T := Übergangsfunktion ( S/S' x I => S) - 2—
- 3Wann ist ein Petri-Netz beschränkt (safe)?Wenn jeder Zustand des Petri Netzes höchstens k Token enthält (Die Menge an Tokens Endlich ist)
- 4TPN - Definiere folgende Begriffe: - statisches Zeitintervall S(t) - dynamisch variables Schaltintervall D(t) - aktueller Stustand SS(t) = (s1(t), s2(t))
D(t) =(d1(t), d2(t))
S = (M, D)
Information
- Description
- Constructive Phasis of SD (part of Grundlagen der Softwareentwicklung FSM + Petri Net
- Created by
- Daniele P.
- Views
- 22
- Rating