06.03.2013 Views

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

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.

Appendix C<br />

Proof of<br />

the Theorems of<br />

Chapter 10<br />

This appendix presents the proof of the theorems stated in chapter 10. The new<br />

equations derived in the chapter are numbered C.1 through C.10. Here we will<br />

use some of the equations of chapter 10 as well.<br />

Proof of theorem 10.1: From the definition of the associated places of mij it is<br />

clear that if mii is 1 in matrix Mk, then place pi is reachable from itself. Further,<br />

Mk = (P o Q) k indicates that the diagonal pi ∈ IRS k (pi) . Therefore, place pi<br />

lies on a cycle through k-transitions. Since it is true for any diagonal element<br />

of Mk, all the places corresponding to the diagonal elements having value 1 of<br />

matrix Mk will lie on cycles, each having k-transitions on the cycle. This is all<br />

about the proof.

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

Saved successfully!

Ooh no, something went wrong!