ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/DA-Paaschen.pdf
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 ) ( q1 , v1 ) ( v1 , q1 ) } Er r egung [...] geschrieben. Beispiel 1 Ein ISystem Gegeben sei ein 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 [...] addBereich ( ber1 ) ; pbbke1 . addBereich ( ber2 ) ; pbbke1 . addBereich ( ber3 ) ;
pbbke1 . couplePhases (p1 , v1 ) ; pbbke1 . couplePhases ( q1 , v1 ) ; pbbke1 . exc i t ePhase (p2 , q1 ) ; pbbke1 . exc i t …