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.
t j<br />
than the lower at , it indicates that the amount of tokens at the home place required for is smaller<br />
than that for . This is impossible, because if cannot fire once, will not either if it is a transition.<br />
For a forward or backward PP-generation, there is no need for the update at ; however, Hc must be<br />
updated. This is because if the tokens do not flow through the NP, the least amount of tokens at for<br />
to get at least one token remains unchanged. Hc must be updated, otherwise, some transitions in the<br />
NP may be not live.<br />
In the case of multiple home places, there are multiple Hc’s and the above update of Hc must be<br />
extended to other home places being are sequential to . Home places resulting from single exclusive<br />
TT-generations, as well as exclusive to the above home places, need not have their Hc updated. As a matter<br />
of fact, there should be more than one upper and lower for and involved in a series of exclusive<br />
TT-generations.<br />
Note that by removing the restriction of “literally smaller” from Rule ARR.1.a, we violate Guideline 1<br />
as N 1 is disturbed by the above updates even though N 2 tj tj n1 pj pbh pj tj tg tj remains well behaved. This is because Rule<br />
ARR.1.a restricts us to synthesizing a net in a certain order, i.e., the path with the largest literal ratios<br />
between two nodes must be constructed prior to all other paths. This restriction is certainly inflexible<br />
and certain nets may be unable to be synthesized because paths with literally greater ratios than existing<br />
paths can never be constructed.<br />
Upon a backward TT-generation, Rule ARR.1.b entails that we insert enough tokens into the new PSP<br />
per ARR.1.b. The number of tokens to be inserted into a place in is stated in the following rule.<br />
� w<br />
Updated Rule ARR.1.b<br />
Upon a backward TT-generation, insert uppern tokens into in .<br />
The rationale comes from the fact that uppern represents the maximum number of tokens that it will<br />
obtain by firing . This same amount of tokens will be completely consumed by firing . Consequently,<br />
there will be neither continuous token accumulations nor token depletion at . However, we do not<br />
need to perform updates even though the new ratios at may be literally greater than the existing ratio<br />
prior to the generation. This is because the backward TT-generation creates a new home place, and the<br />
tokens in the new PSP support the firing of unlike the forward TT-generation case where the firing<br />
of must be supported by the tokens in the home place.<br />
Although the computation and updating of upper and lower incurs extra computations compared to<br />
that for OPNs, the associated time complexity is linear to the total number of arcs in the net and does<br />
not increase the total time complexity for the synthesis.<br />
It is easy to see that the nets synthesized by the canonical method are a subset of those synthesized by<br />
the time-saving method. However, the NP by the former alters the behavior of N 1 pn �<br />
.<br />
w<br />
tg tj pn tj tj tj Synthesis Steps for the Net in Figure 8.14<br />
Now we return to the synthesis of the net ex<strong>amp</strong>le in Figure 8.14. At various stages, message boxes will<br />
be popped up to provide warning or error messages or guidelines for the next generations. Figure 8.15(a)<br />
is constructed using the PP.1 rule. Note that least-home-ratios are 1/1; Rule arc-ratio need not apply here<br />
and we do not display the ratios. Figure 8.15(b)–(d) shows the three consecutive exclusive TT-generations<br />
making up a cycle (all nodes in the cycle turn their color from red into black) along with the least home<br />
ratios; the new home place is p9. Using the arc-ratio rule, n � 2 for p9. Note the three control transitions<br />
t1, t3, and t5 are in the same cycle.<br />
Note that we enter arc weights only after the NP is completed and we must enter them in order from<br />
ng . If we enter the arc weight for an arc with its start node’s least home ratio not yet computed, a warning<br />
message box will appear.<br />
Figure 8.15(h) is constructed using Rules PP.1 and TT.2 (a token inserted in p13). This forms Component<br />
I. Steps to synthesize Component II are shown in Figure 8.15(i)–(j) for the subactivity of robot<br />
2 on Conveyor 2. Note that the two Components I and II are not connected. The final net is obtained<br />
using the rule for exclusive-TT generation, which requires constructing a cycle containing all control<br />
transitions. During the construction process, part of the cycle comes from Component I. Hence, Rule<br />
p n<br />
� w<br />
n 1