嵌入式系統(tǒng)廣泛應(yīng)用于無人機(jī)、智能家居、醫(yī)療設(shè)備等領(lǐng)域。對(duì)可靠性,正確性和實(shí)時(shí)性的高要求是嵌入式系統(tǒng)的基本特征。伴隨著嵌入式技術(shù)的發(fā)展,嵌入式系統(tǒng)的復(fù)雜程度不斷提高且對(duì)時(shí)間的依賴性不斷增強(qiáng)。為了保證系統(tǒng)的正確性和有效性,需要在嵌入式系統(tǒng)的設(shè)計(jì)中采用形式化的建模方法。Petri網(wǎng)是一種使用直觀的圖形方式和形式化的證明方式對(duì)系統(tǒng)進(jìn)行建模和分析的數(shù)學(xué)模型。但是經(jīng)典Petri網(wǎng)缺少時(shí)間特性和數(shù)據(jù)表達(dá)能力,不能對(duì)嵌入式系統(tǒng)的實(shí)時(shí)性要求和數(shù)據(jù)流進(jìn)行很好地描述。基于Petri網(wǎng)表示的嵌入式系統(tǒng)PRES+（Petri net based Representation for Embedded Systems）網(wǎng)可以描述實(shí)時(shí)嵌入式系統(tǒng),但是對(duì)復(fù)雜嵌入式系統(tǒng)建模較為繁瑣且不直觀。針對(duì)經(jīng)典Petri網(wǎng)和PRES+網(wǎng)的這些缺點(diǎn),本文將抑止弧加入PRES+網(wǎng)中,得到基于帶抑止弧的Petri網(wǎng)表示的嵌入式系統(tǒng)PIRES+（Petri net with Inhibitor arcs based Representation for Embedded Systems）網(wǎng)。PIRES+網(wǎng)提高了建模和驗(yàn)證復(fù)雜嵌入式系統(tǒng)的能... 

【文章來源】：山東建筑大學(xué)山東省

【文章頁(yè)數(shù)】：67 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
ABSTRACT
第1章 緒論
    1.1 課題研究背景和意義
    1.2 研究現(xiàn)狀
    1.3 本文的研究工作
    1.4 本文的組織結(jié)構(gòu)
第2章 基于Petri網(wǎng)表示的嵌入式系統(tǒng)模型
    2.1 嵌入式系統(tǒng)的形式化建模方法
    2.2 PRES+網(wǎng)
    2.3 PIRES+網(wǎng)
    2.4 本章小結(jié)
第3章 基于帶抑止弧的Petri網(wǎng)表示的嵌入式系統(tǒng)模型化簡(jiǎn)規(guī)則
    3.1 相關(guān)概念
    3.2 PIRES+網(wǎng)的化簡(jiǎn)規(guī)則
        3.2.1 基于串聯(lián)庫(kù)所的化簡(jiǎn)
        3.2.2 基于串聯(lián)變遷的化簡(jiǎn)
        3.2.3 基于具有相同輸入輸出庫(kù)所的化簡(jiǎn)
        3.2.4 基于特定變遷和庫(kù)所的化簡(jiǎn)
        3.2.5 基于T型子網(wǎng)的化簡(jiǎn)
        3.2.6 基于P型子網(wǎng)的化簡(jiǎn)
    3.3 應(yīng)用實(shí)例
    3.4 本章小結(jié)
第4章 基于PIRES+子網(wǎng)化簡(jiǎn)的活性和有界性的保持性證明
    4.1 PIRES+網(wǎng)的狀態(tài)概念
    4.2 基于T型子網(wǎng)化簡(jiǎn)的活性、有界性保持性證明
    4.3 基于P型子網(wǎng)化簡(jiǎn)的活性、有界性保持性證明
    4.4 基于子網(wǎng)化簡(jiǎn)的應(yīng)用實(shí)例
        4.4.1 用PIRES+網(wǎng)表示的嵌入式報(bào)警系統(tǒng)及其化簡(jiǎn)
        4.4.2 活性和有界性的保持性分析
    4.5 本章小結(jié)
第5章 化簡(jiǎn)規(guī)則的系統(tǒng)應(yīng)用
    5.1 基于嵌入式系統(tǒng)的多參數(shù)監(jiān)護(hù)儀設(shè)計(jì)
    5.2 對(duì)基于嵌入式系統(tǒng)的多參數(shù)監(jiān)護(hù)儀網(wǎng)系統(tǒng)的化簡(jiǎn)
    5.3 本章小結(jié)
第6章 總結(jié)和展望
    6.1 主要研究成果
    6.2 存在問題及進(jìn)一步研究工作
參考文獻(xiàn)
后記
攻讀碩士學(xué)位期間論文發(fā)表及科研情況


【參考文獻(xiàn)】：
期刊論文
[1]Research on Petri Net System Parallel Subnet Partitioning Completeness Theory and Algorithm[J]. LI Wenjing,LI Songzhao,LU Jianbo.  Wuhan University Journal of Natural Sciences. 2019(03)
[2]延遲時(shí)間Petri網(wǎng)的驗(yàn)證分析[J]. 馮復(fù)劍.  計(jì)算機(jī)工程與應(yīng)用. 2019(04)
[3]基于Petri網(wǎng)關(guān)聯(lián)矩陣的流程模型間距離計(jì)算方法[J]. 吳亞鋒,譚文安.  計(jì)算機(jī)與數(shù)字工程. 2018(03)
[4]帶抑制弧Petri網(wǎng)的保性變換[J]. 莫禮平,樂曉波,周愷卿,張兆海.  計(jì)算機(jī)應(yīng)用. 2012(11)
[5]帶抑制弧的時(shí)延著色Petri網(wǎng)模型檢測(cè)技術(shù)[J]. 楊年華,虞慧群,孫華.  計(jì)算機(jī)科學(xué). 2011(01)
[6]基于Petri網(wǎng)嵌入式系統(tǒng)模型的組合與修改[J]. 許滸,張偉,周青.  微計(jì)算機(jī)信息. 2010(23)
[7]基于Petri網(wǎng)表示的嵌入式系統(tǒng)模型化簡(jiǎn)規(guī)則（英文）[J]. 夏傳良.  計(jì)算機(jī)科學(xué)與探索. 2008(06)
[8]帶弧標(biāo)識(shí)的時(shí)鐘同步Petri網(wǎng)[J]. 孫屹,丁艷,張冬.  微型機(jī)與應(yīng)用. 2005(03)



本文編號(hào)：3502531