ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/techreport793.pdf
No Title Given
qualities 1, F, q ∈ b ⊆ P . All other phases in b assume values in
13
1 F 0 s
m
U3, U4
q P
D
U1 T3
T4, T5 U1, U2
U3, U4 U5
T1, T2
T2
T3, T4, T5
T6, T7U1, U2, T4, T5, R
Fig. 2. Phase qualities of a phase.
{0, s [...] rules {U3, U4, U5, D, T1} cannot be applied in z|b.
(c) Let z|b be a soliciting state. In z|b, only the rules from {U1, U2, U3, U4, U5, T2} ⊂ RULES can be applied. By applying rules from {U1, U2, U3, U4, [...] parts b1
and b3 is controlled by an inert part b2. Part b3 is enforced alternating between phases e and f , as long as part b1 is in phase a. If b1 decides to enter b, it will switch to b, and b3 will stop …
