由于嵌入式系統(tǒng)功能的復(fù)雜性和需求的多樣性，使得在工程上進(jìn)行嵌入式系統(tǒng)的設(shè)計(jì)成為難題建立一個(gè)良好的形式化系統(tǒng)模型，在系統(tǒng)設(shè)計(jì)的初級(jí)階段對(duì)系統(tǒng)進(jìn)行模擬和仿真，對(duì)系統(tǒng)的有效性、穩(wěn)定性和可靠性進(jìn)行分析，及時(shí)對(duì)系統(tǒng)設(shè)計(jì)進(jìn)行相應(yīng)的優(yōu)化并且及時(shí)發(fā)現(xiàn)系統(tǒng)級(jí)的邏輯和時(shí)序錯(cuò)誤，可以避免不必要的損失，也可以增強(qiáng)設(shè)計(jì)過(guò)程的規(guī)范性。應(yīng)用Pet ri網(wǎng)對(duì)嵌入式系統(tǒng)進(jìn)行高級(jí)綜合建模是近年來(lái)發(fā)展的一個(gè)新技術(shù)。Petri網(wǎng)的概念最早是由西德的CA．Pet ri博士于1962年提出來(lái)的，70年代以后，Pet ri網(wǎng)理論在歐美一些國(guó)家得到了迅速的發(fā)展，并被廣泛應(yīng)用于計(jì)算機(jī)科學(xué)技術(shù)和其他許多學(xué)科領(lǐng)域但單純的Petri網(wǎng)在表達(dá)嵌入式系統(tǒng)上有不足之處，因此人們根據(jù)嵌入式系統(tǒng)的實(shí)際應(yīng)用提出了多種擴(kuò)充的Pet ri網(wǎng)模型。擴(kuò)展的時(shí)間Pet ri網(wǎng)EPTN能夠描述時(shí)間信息，并可以清楚地表現(xiàn)出數(shù)據(jù)和控制的流向，缺點(diǎn)是將數(shù)據(jù)和控制分別用2個(gè)圖表示，即控制用時(shí)間Petri網(wǎng)表示，數(shù)據(jù)用有向圖表示，不利于對(duì)數(shù)據(jù)和控制流的綜合分析！PR ESI-是專門為嵌入式系統(tǒng)提出的Petri網(wǎng)模型，它可以表示復(fù)雜的數(shù)據(jù)運(yùn)算，準(zhǔn)確地分析系統(tǒng)的時(shí)間特性，并支持對(duì)系統(tǒng)不同層次的抽象，缺點(diǎn)是弱化了對(duì)控制流的表達(dá)。雙變遷Petri網(wǎng)f DTPN）用不同的變遷分別表示對(duì)數(shù)據(jù)和控制的處理，但它在描述數(shù)據(jù)操作時(shí)不能表示較復(fù)雜的運(yùn)算，對(duì)時(shí)間約束的描述和分析也不充分盯。

　　本文針對(duì)嵌入式系統(tǒng)提出了一種改進(jìn)的Pet ri網(wǎng)模型 EPRES f extended Petri net based　rep res en to tion for emb ed ded svstem）．可以對(duì)系統(tǒng)的功能實(shí)現(xiàn)資源洳內(nèi)存、帶寬能量等消耗、時(shí)間約束等做出較充分的刻畫。