基于面向?qū)ο笾玃etri網(wǎng)構(gòu)建設(shè)計(jì)模式.pdf

1、大型復(fù)雜系統(tǒng)的模型往往需要通過系統(tǒng)分解的形式來構(gòu)建。很多系統(tǒng)構(gòu)建模型方法都只能構(gòu)建靜態(tài)模型，不提供對系統(tǒng)模型的模擬仿真，一旦模型構(gòu)建出現(xiàn)問題，就需要對整個(gè)系統(tǒng)進(jìn)行修改。面向?qū)ο笤谙到y(tǒng)建模方面提供了很多優(yōu)秀的設(shè)計(jì)模式，有效地支持了系統(tǒng)建模。但這些設(shè)計(jì)模式也都是靜態(tài)的，不能支持模型的仿真驗(yàn)證。因此，尋找一種方法來提供對構(gòu)建模型的模擬仿真是十分必要的。
　　 本文首先分析了各種基于Petri網(wǎng)的建模方法的優(yōu)缺點(diǎn)及存在的問題；然后提出了

2、一種基于擴(kuò)展Petri網(wǎng)和面向?qū)ο蟮哪Ｐ蜆?gòu)建方法，即面向?qū)ο笾玃etri網(wǎng)模型，給出了模型的形式化定義，并分析了模型對象子網(wǎng)的特征：接著利用提出的面向?qū)ο笾玃etri網(wǎng)模型構(gòu)建了常用的十二種設(shè)計(jì)模式；最后通過微型計(jì)算機(jī)生產(chǎn)的例子對該建模方法進(jìn)行了驗(yàn)證。
　　 面向?qū)ο笾玃etri網(wǎng)綜合了著色Petri網(wǎng)和面向?qū)ο髢煞N思想的優(yōu)點(diǎn)。著色Petri網(wǎng)是一種建立在基本Petri網(wǎng)基礎(chǔ)上的很好的圖形化的數(shù)學(xué)工具，它保留了基本Petr

3、i網(wǎng)支持嚴(yán)格數(shù)學(xué)意義的分析計(jì)算和圖形化的模擬仿真的特性，可以用來構(gòu)建系統(tǒng)模型，并對模型進(jìn)行分析驗(yàn)證。另外，著色Petri網(wǎng)由于引入了顏色特性，表達(dá)能力更加強(qiáng)大，解決了狀態(tài)空間爆炸和維護(hù)困難的問題，因此可以用來構(gòu)建大型復(fù)雜的系統(tǒng)模型。面向?qū)ο笥泻芎玫某橄笮?、封裝性、模塊化和重用性特點(diǎn)，同時(shí)提供了大量優(yōu)秀的設(shè)計(jì)模式。因此面向?qū)ο笾玃etri網(wǎng)可以用來構(gòu)建系統(tǒng)模型，同時(shí)可以支持模型的模擬仿真和性質(zhì)驗(yàn)證。該方法的使用，既可降低系統(tǒng)建模的復(fù)雜度