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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Π1<br />

Π3<br />

Π4<br />

FIGURE 8.8(a) After adding a pure-generation, there are 6 PSPs in the Petri net. (From Reference 2a. With<br />

permission.)<br />

1 2 3 4 5 6<br />

1 CN SP SE SE SE SP: Sequential Previous<br />

2 CN SP SE SE SE SN: Sequential Next<br />

3 SN SN SP SP SE<br />

4 SL SL SN EX SP<br />

5 SL SL SN EX SP<br />

6 SL SL SL SN SN<br />

FIGURE 8.8(b) Updated T-Matrix. (From Reference 2a. With permission.)<br />

The new matrix ( A�)<br />

entries are determined by the following lemma.<br />

Lemma 6: For an IG of �l from �g to �j , then update A to A� as follows:<br />

A� ik<br />

(a)<br />

Π6<br />

(1) � SE and A�ki � SL, where ik � g1g 2, j1j 2, g1l, lj2, lq, g1j2, rl, rj2 , and rq,<br />

(2) A�mz � Amz and A�zm � Azm , where mz � rq, qr ( m, z�{<br />

r, q, u, v})<br />

, and<br />

(3) A�tz � Asz and A�zs � Azt , where st � gg1, gg2 , jj1, jj2 z� { r, q, u, v}<br />

, and tz � j2r, g1q where �r, �q, �u , and �v should be old PSPs not belonging to Cgi or Xgi such that �r → �g , (�j→� q,<br />

¬ �u →�g) ( �u not sequentially earlier to �g ),¬ ( �u → �j) , ¬ ( �v → �g ), and ¬ ( �v → �j) .<br />

Proof: Case (1) is obvious when neither i � r nor k � q. For i � r, the presence of �l affects the<br />

following entries: (a) Arq � Agj and (b) Ahq , where �g → �h , ¬ ( �h → �q) and ¬ ( �q → �h) (note<br />

→<br />

).<br />

� j<br />

� q<br />

Π2<br />

Π5<br />

new PG

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

Saved successfully!

Ooh no, something went wrong!