ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/DA-Paaschen.pdf
e und ihre Verarbeitung
1q q 2
q 4
q 3
1q q 2
q 4
q 3
1q q 2
q 4
q 3
1q q 2
q 4
q 3
D−Rule
D−Rule
D−Rule
D−Rule
p 1q q 3
q 4
q 2
p< >
p< >
p< >
p< >
q
q
q
q
1
2
3
4
Abbildung 5.1: Die Anwendung der DRule [...] 17
3 Anforderungen an ein Visualisierungstool 19 3.1 Systemvorgaben . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.2 Darstellung der statischen Struktur eines ISystems . . . . . . 19 3.3 Darstellung [...] IS = (P, B, B, K, E) mit
1. P = {p1, p2, v1, v2, q1, q2, q3}
2. B = {b1, b2, b3}
3. B = {b3}
4. K = {(p1, v1), (q1, v1)}
5. E = {(p1, q1), (q3, v2)}
Die Abb. 2.1 zeigt die zugehörige grasche Repräsentation …