ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/DA-Paaschen.pdf
Text-Terminal sieht dann folgendermaÿen aus:
Phasen : p1<p2> p2<m> q1<0> q2<0> q3<1> v1<s> v2<F> Bere iche : b1 : ( p1 p2 ) b2 : ( q1 q2 q3 ) b3 : ( v1 v2 ) Kopplungsre la t ion : PxP = { (p1 , v1 ) ( v1 , p1 [...] ISystem 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 [...] addPhase ( p1 ) ; ber1 . addPhase ( p2 ) ; ber2 . addPhase ( q1 ) ; ber2 . addPhase ( q2 ) ; ber2 . addPhase ( q3 ) ; ber3 . addPhase ( v1 ) ; ber3 . addPhase ( v2 ) ;
26 Realisierung
PxP
Phasentupel
Bereich …