10.01.2013 Views

ComputerAided_Design_Engineering_amp_Manufactur.pdf

ComputerAided_Design_Engineering_amp_Manufactur.pdf

ComputerAided_Design_Engineering_amp_Manufactur.pdf

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

t2<br />

entity 1<br />

FIGURE 8.19 An ex<strong>amp</strong>le of the arc-ratio rule ARR.1.a. on top of the TT.4 rule.<br />

3. For each backward PP-generation, � 1 for any two in the same new circle. � � for<br />

any PSP in the new circle and any other PSP not in the same circle.<br />

4. For TT-generation between two PSPs with d � �, their � 1 after the application of TT.3 rule.<br />

5. For all other generations, the between any and any current PSP depends on their structure<br />

relationship. If they are concurrent or sequential (exclusive), then the value of is one (�).<br />

s<br />

d s<br />

d s<br />

� w<br />

The time complexity for the above steps is O ( n1) ; hence, the total time complexity is O ( n2) .<br />

Enhancement of the Synthesis Algorithm<br />

p2<br />

p1<br />

t1<br />

Π1 p3 Π3<br />

2<br />

t3<br />

2<br />

p4<br />

t4<br />

2<br />

t5<br />

4<br />

2 p5<br />

d s<br />

t6<br />

4<br />

2<br />

(D.1) Generations Between Exclusive Transitions<br />

Since now the generation where tg tj is permitted, Rule TT.0 must be modified to take out the<br />

corresponding phrase as follows:<br />

p6<br />

(0) TT.0 If one of them is in a cycle which was solely generated using Rule PP.1, then signal “forbidden,<br />

delete the � ” and return.<br />

In addition, we add a new rule:<br />

w<br />

(5) TT.5 If tg | tj , then follow the synchronization rule to serialize tg and tj .<br />

Here we discuss the implementation. First, in practice, the designer may wish to serialize other<br />

transitions in addition to tg and tj . Thus, it is desirable that we flag all control transitions for the designer<br />

to select. Note that all control transitions must be mutually exclusive. As a result, they must have a<br />

common generation point, which is the decision place. Colors of all these control transitions must change<br />

to help the designer construct the cycle. Second, the designer needs to construct a cycle passing through<br />

the control transitions at his own choice. Whenever a control transition is included in the cycle, set its<br />

color to black. Put tokens into one place in the cycle and all nodes in the cycle will be automatically<br />

colored black (originally red).<br />

p7<br />

t5'<br />

p5'<br />

t6'<br />

� w<br />

3<br />

3<br />

Π4<br />

4<br />

p2'<br />

entity 2<br />

t2'<br />

p3'<br />

t3'<br />

p4'<br />

4<br />

p1'<br />

t1'<br />

t4'<br />

d s<br />

d s<br />

Π2<br />

3

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!