ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/techreport795.pdf
No Title Given
applies anywhere else. ut
12
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.
3.2 Meta-Rule
While modeling or analyzing [...] 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, [...] represents a run in IS}.
Example 1. In IS2 in Fig. 3 the interaction between two autonomous parts b1
and b3 is controlled by an inert part b2. Part b3 is enforced alternating between phases e and f , as …
