基于增廣著色Petri網(wǎng)的嵌入式系統(tǒng)建模方法研究.pdf

1、近些年來，人們對于嵌入式系統(tǒng)的應(yīng)用需求不斷增長，使得嵌入式系統(tǒng)的復(fù)雜性不斷增加，規(guī)模不斷增大，系統(tǒng)的不確定性越發(fā)明顯，這些原因都給開發(fā)人員帶來了新的挑戰(zhàn)。傳統(tǒng)的嵌入式系統(tǒng)設(shè)計方法已經(jīng)無法滿足現(xiàn)階段的設(shè)計要求，利用高層建模方法對系統(tǒng)進(jìn)行分析，然后在此基礎(chǔ)上進(jìn)行后期設(shè)計成為了嵌入式系統(tǒng)研究的熱點。
　　Petri網(wǎng)特別適合描述系統(tǒng)順序、并發(fā)、沖突以及同步等現(xiàn)象。作為一種系統(tǒng)的描述工具，Petri網(wǎng)不僅可以刻畫系統(tǒng)的靜態(tài)結(jié)構(gòu)，而且可以分

2、析系統(tǒng)的動態(tài)行為。Petri網(wǎng)既有直觀的圖形表示，又有深刻的數(shù)學(xué)內(nèi)涵和基礎(chǔ)，可以利用許多數(shù)學(xué)的方法對模型驗證，所以，Petri網(wǎng)是形式化大型系統(tǒng)開發(fā)的有效工具之一。
　　本文對幾種類型的系統(tǒng)建模方法進(jìn)行了分析和比較，結(jié)合嵌入式系統(tǒng)建模的特點，分析了每種方法的優(yōu)點和缺點，指出了Petri網(wǎng)在嵌入式系統(tǒng)建模中的優(yōu)勢。在一般Petri網(wǎng)的基礎(chǔ)上研究了一種適合嵌入式系統(tǒng)建模的擴(kuò)展Petri網(wǎng)——增廣著色Petri網(wǎng)，在該方法的基礎(chǔ)上討論了