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