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.

FIGURE 8.7(a) Original Petri nets with 3 PSPs. (From Reference 2a. With permission.)<br />

and<br />

1 2 3<br />

1 CN SP SP: Sequential Previous<br />

2 CN SP SN: Sequential Next<br />

3 SN SN<br />

FIGURE 8.7(b) The T-Matrix of the net in Figure 8.7(a) prior to the pure-generation. (From Reference 2a. With<br />

permission.)<br />

A� lg2<br />

A� lg2<br />

CN for PG using TT rule<br />

Therefore, no modifications for existing entries are necessary for PG. There are four new PSPs. Each<br />

new entry takes constant time to enter; the corresponding time complexity is O(n), where n is the number<br />

of PSPs before the generation. We add a PG in Figure 8.7 using the PP rule with the T-Matrix and PN<br />

shown in Figure 8.8. There are four new entries: �3 , �4, �5 , and �6 , respectively.<br />

Determination of Entries for Interaction-Generation<br />

�<br />

�<br />

EX for PG using PP rule<br />

In the following, we consider only the case where �g �j or �g � �j ; the case where �g→�jor �j1 → �g , can be treated similarly.<br />

For an IG of �l from �g to �j, �g ( �j) is split into �g1 → �g2 ( �j1 → �j2) . Note that<br />

�g →�l→�j2. The structural relationship between the new PSP �l and existing PSPs must be<br />

determined. Also some structural relationships among existing PSPs are changed. For instance, independent<br />

of the structural relationship between �g and �j prior to generation, after generation<br />

�g1 →�l→�j2. It is easy to determine the structural relationships among PSPs directly involved in the<br />

generation, but rather difficult to determine them between PSPs far away from the generation and PSPs<br />

directly involved in the generation.

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

Saved successfully!

Ooh no, something went wrong!