資源描述：
《基于著色petri網(wǎng)建模和模型性質的分析驗證的研究》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在學術論文-天天文庫。
1、原創(chuàng)性聲明和關于論文使用授權的說明IIIIllrrlIIIiiiIiItIIIY2182477原創(chuàng)性聲明本人鄭重聲明：所呈交的學位論文，是本人在導師的指導下，獨立進行研究所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不包含任何其他個人或集體已經(jīng)發(fā)表或撰寫過的科研成果。對本文的研究作出重要貢獻的個人和集體，均已在文中以明確方式標明。本聲明的法律責任由本人承擔。論文作者簽名：猛l左!三喜日期：翟f羔：支。z圣關于學位論文使用授權的聲明本人完全了解山東大學有關保留、使用學位論文的規(guī)定，同意學校保留或向國家有關部門或機構送交論文的復印件和電子版，允許論文被查閱和借閱；本人授權山東大學可以將
2、本學位論文的全部或部分內(nèi)容編入有關數(shù)據(jù)庫進行檢索，可以采用影印、縮印或其他復制手段保存論文和匯編本學位論文。(保密論文在解密后應遵守此規(guī)定)論文作者簽名：啦導師簽名：山東大學碩士學位論文目錄摘要?????????????????????????????．．IAbstract???．??．??．??．??．???．??．?．．．‘．???．?．??．．?．??．??．?．Il第1章緒論?????????????????????????11．1問題提出的背景與意義????????????????????11．2同內(nèi)外研究現(xiàn)狀????????????????_????．31．3本文的主要上
3、作和創(chuàng)新點?????????????????．．51．4本文的組織結構?????????????????????6第2章Petri網(wǎng)理論基礎????????????????????．．72．1Petn網(wǎng)理論??????????????????????7．2．1．1Petn網(wǎng)的基本概念?????????????????．72．1．2Petn網(wǎng)結構性質??????????????????102．1．3Petn網(wǎng)的動態(tài)性質?????????????????．．112．2著色Petn網(wǎng)?????????????????????．122．2．1著色Petd網(wǎng)的基本概念?????????????
4、?．．122．2．2著色Petn網(wǎng)的圖形表示???????????????142．3著色Petn嘲的構造方法?????????????????152．4CPNTools簡介????????????????????．．162．5本章小結?????????????????????????．．17第3章并行任務調度的著色Petri網(wǎng)建模?????????????183．1概述????????????????????????．．183．2并行任務調度基本概念?????????????????．193．3傳統(tǒng)并行任務調度方泫?????????????????．213．3．1并行任務調度的方泫?
5、???????????????213．3．2并行任務的調度算法????????????????．223．3．3并行任務調度算法實例分析?????????????．243．4傳統(tǒng)任務調度方法不足?????????????????．293．5并行任務調度CPN建模?????????????????293．5．1并行任務調度CPN建模的總體思想??????????29山東大學碩士學位論文3．5．2并行任務調度CPN建模??????????????．．323．5．3仿真執(zhí)行????????????????????一353．6本章小結????????????．．-???????????．．36
6、第4章并行任務調度CPN模型性質驗證??????????????374．1基．?。Ｐ头抡鎴?zhí)行的性質驗證???????????????374．1．1死鎖分析?????????????????????384．1．2沖突檢測與分析??????????????????384．2基_丁．可達樹的性質驗證?????????????????．384．2．1可達樹方法????????????????????394．2．2基丁可達樹的并行任務調度CPN模型性質分析??????404．3基．?。P聯(lián)矩陣的結構性質驗證???????????????434．3．1關聯(lián)矩陣與狀態(tài)方程????????????
7、????．434．3．2約簡規(guī)則??????????????????????．．444．3．3基．?。P聯(lián)矩陣的并行任務調度CPN模型結構性質驗證???454．4基_丁-狀態(tài)空間的性質驗證????????????????一484．5各類分析方法的比較???????????????????494．6本章小結???????????????????????50第五章結束語??????????????????????????．．51參考文獻????????????
