X = {(p, v) | p ∈ IPorts, v ∈ Xp} | Menge der Eingangsports und Werte |
Y = {(p, v) | p ∈ OPorts, v ∈ Yp} |
Menge der Ausgangsports und Werte |
S |
Menge der Zustände |
ta : S → [0, ∞] | Zeitfortschaltungsfunktion |
δint : S → S | interne Übergangsfunktion |
Q = {(s, e) | s ∈ S, 0 ≤ e < ta(s)} | Zustand s und Zeit e seit letzter Transition |
δext : Q × Xb → S | externe Übergangsfunktion |
δcon : S × Xb → S |
konfluente Übergangsfunktion |
λ : S → Yb | Ausgabefunktion |
X = {(p, v) | p ∈ IPorts, v ∈ Xp} | Menge der Eingangsports und Werte |
Y = {(p, v) | p ∈ OPorts, v ∈ Yp} |
Menge der Ausgangsports und Werte |
D |
Menge der Komponentennamen |
MD = {Md | d∊D) |
Menge der Atomic-PDEVS-Komponenten |
CEI ⊆ {(iN, d, i) | iN∊iPorts,
d∊D, i∊IPortsd} |
Menge der Verbindungen von externen Inputs zu Inputs
interner Komponenten |
CEO ⊆ {(d, o, oN) | oN∊OPorts,
d∊D, o∊OPortsd} |
Menge der Verbindungen von Outputs interner
Komponenten zu externen Outputs |
CI ⊆ {(d1, o, d2,
i) | d1,d2∊D, o∊OPortsd1,
i∊IPortsd2} |
Menge der Verbindungen zwischen internen Komponenten |
CI = | ('gen', 'out', 'queue', 'in'), ('queue', 'out', 'server', 'in'), |
('server', 'out', 'term', 'in'), ('server', 'working', 'queue', 'bl')} |