基于分層思想的基本通信系統(tǒng)CPN建模.pdf

1、對于通信系統(tǒng)的建模存在很多種方法，其中以面向?qū)ο蠓椒ń：蚉etri網(wǎng)建模為主要建模方法。面向?qū)ο蠼V泛采用UML建模，作為一種半結(jié)構(gòu)半形式化的建模語言，不能提供嚴(yán)謹(jǐn)?shù)男问交评砗湍Ｐ蜋z驗(yàn)，不能驅(qū)動仿真執(zhí)行，不能用于保證系統(tǒng)的質(zhì)量。Petri網(wǎng)適合于具有并發(fā)性以及分布式系統(tǒng)進(jìn)行建模，它的強(qiáng)大的數(shù)學(xué)理論基礎(chǔ)，能有效地對模型進(jìn)行嚴(yán)格的分析和驗(yàn)證，但伴隨著系統(tǒng)的不斷復(fù)雜化帶來的是模型的“狀態(tài)空間爆炸”、可重用性和可維護(hù)性差的問題。為了解決以

2、往建模方法的不足之處，需要尋找一種新的方法來構(gòu)建通信系統(tǒng)的模型。
　　 本文首先介紹了基于面向?qū)ο蠓椒ê蚉etri網(wǎng)對基本通信系統(tǒng)建模的優(yōu)缺點(diǎn)以及存在的問題；其次，將面向?qū)ο笾械母拍钜隤etri網(wǎng)中，并在Petri網(wǎng)中增加了顏色集的概念，根據(jù)基本通信系統(tǒng)本身的結(jié)構(gòu)特點(diǎn)，引入了分層的思想，提出了基本通信系統(tǒng)的一種形式化定義，并給出了基本通信系統(tǒng)的分層和建模方法；最后通過一個基本通信系統(tǒng)的實(shí)例對該建模方法進(jìn)行了驗(yàn)證。
　　

3、 該方法綜合了面向?qū)ο笈c著色Petri網(wǎng)兩種建模方法的優(yōu)點(diǎn)。著色Petri網(wǎng)與基本Petri網(wǎng)相比，引入了顏色集以及弧表達(dá)式的概念，有效地解決“狀態(tài)空間爆炸”的問題，同時它保留了基本Petri網(wǎng)的分析驗(yàn)證方法。由于面向?qū)ο缶哂蟹庋b性、模塊化等特點(diǎn)，面向?qū)ο蠓椒?gòu)建的模型具有良好的重用性和可維護(hù)性。另外，利用分層的方法，也降低了大型的基本通信系統(tǒng)模型的復(fù)雜度，從而有效降低了Petri網(wǎng)模型對系統(tǒng)依賴的強(qiáng)度。因此，基于分層的，利用著色Pet