ComputerAided_Design_Engineering_amp_Manufactur.pdf
ComputerAided_Design_Engineering_amp_Manufactur.pdf
ComputerAided_Design_Engineering_amp_Manufactur.pdf
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
TT. 3 must be used upon the generation [t16 p20 t12] from Component II to I, to generate another TTpath<br />
[t11 p21 t17] from Component I to II.<br />
In Figure 8.15(b), the message box tells us that it is an exclusive TT-generation and we should pick a<br />
brown node and a purple node for the generation point and joint, respectively. In Figure 8.15(c), the<br />
message box tells us that we are in the midst of the exclusive TT generation and a cycle has not been<br />
formed. In Figure 8.15(d), the message box tells us that we reach a cycle and we should enter tokens in<br />
it. When we generate the first exclusive TT-path, the firing ratio between tg (t4) and tj (t1) is 1/1, and<br />
so too is the next TT-generation between t2 and t6. Because of the exclusive TT-generations, the lesat<br />
home ratios at this step must be expressed relative to t4 rather than to the home place p1. Afterwards,<br />
we enter 2 tokens to p9 since its upper variable is 2 via the “Modify” button.<br />
In the last exclusive TT-generation, the arc weight between p8 and t8 is 2, the least home ratio at t8<br />
is 1/2, which implies that in order to fire t8 once, t4 must fire twice. Now the next arc weight between<br />
t8 and p9 is 2; hence, the least home ratio at p1 is 2/2, implying that after t4 fires twice, p9 will get two<br />
tokens. Finally, the last arc weight between p9 and t3 is 1; hence, the least home ratio at t3 is 2/2, as well<br />
as at t4. Since we insert tokens at the new home place, p9, whose least home ratio is 2/2, we need to<br />
insert at least two tokens; i.e., n � 2. Figure 8.15(f) shows the least home ratios for all nodes in the cycle<br />
in reference to t4.<br />
After entering two tokens at p9, the least home ratio will be recomputed in reference to p9 rather than<br />
to t4 (Figure 8.15(g)).<br />
Similar statements apply to the synthesis of Component II. We insert 3 tokens at p18 (Figure 8.15(k))<br />
whose “upper” variable equals 3; hence, m � 3. Note that the requirement in Rule ARR.1.a (i.e., equal<br />
prime ratio along any paths between two nodes) does not hold for exclusive TT-generations. There are<br />
two different paths from p15 to t13 [p15 t13] and [p15 t17 p17 t18 p18 t13] with different prime ratios<br />
of 1/1 and 3/1, respectively. As a matter of fact, there may be two different least-home-ratios for all tg and tj that are involved in an exclusive-TT generation. In this case, the tool will display the one that is<br />
relevant to the current generation.<br />
In Figure 8.15(h), we generate a PP-cycle [p8 t9 p10 t10 p11 t12 p12 t11 p8] followed by a backward<br />
TT-generation [t10 p13 t8]. The least ratios in reference to p8 are displayed for nodes in the PP-cycle. Note<br />
that the new ratio for p8 in reference to itself is 2/2 indicating that p8 must have at least two tokens in<br />
order to complete the firings of all transitions in the PP-cycle. This, in turn, implies that t3 must fire at<br />
least twice. However, we do not need to update the ratio at t8 since its lower is no smaller than 2, which<br />
implies that the least amount of firings of t3 (the reference node) for t8 to fire at least once remains at 2.<br />
In Figure 8.15(k), we perform two successive exclusive TT-generations and generate another TT-path<br />
between two separated components; a message is shown in the bottom window to warn us about the<br />
potential problem of unboundedness and remind us that we can create another path from t12 to t16. In the<br />
next step (Figure 8.15(1)), we generate another TT-path to synchronize the two components (see the<br />
message in the bottom window) and complete the cycle for the exclusive TT-generations.<br />
8.8 Other Features of the Tool<br />
The tool can apply to many fields as Petri nets are a powerful modeling and analysis tool for<br />
• Distributed operating systems,<br />
• Distributed data base systems,<br />
• Concurrent and parallel processes,<br />
• Flexible manufacturing/industrial control processes,<br />
• Discrete event systems,<br />
• Multiprocessor systems,<br />
• Data flow computing systems,<br />
• Fault-tolerant systems,