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

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

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