無界Petri網可達樹的研究

無界Petri網可達樹的研究

作者:師大云端圖書館 時間:2016-12-11 分類:碩士論文 喜歡:1235
下載WORD版論文WORD版論文下載 下載PDF版論文PDF版論文下載

【摘要】眾所周知,Petri網以其圖形化的表現形式、眾多的分析方法和堅實的數學基礎,成為研究離散事件系統的建模工具之一。盡管眾多學者對Petri網進行研究并取得了很多成果,但仍然存在著一個世界性難題——可達性問題。系統的可達性是其所有性質中最基本的。因為在很大程度上,我們都可以用可達性來分析其他的一些相關性質,比如有界性、可覆蓋性、可逆性、活性、死鎖等。Petri網的可達樹可以表示標識和變遷的實施關系,是分析Petri網的一種重要方法,且適用于各種網系統。利用有限的可達樹來分析研究無界Petri網的可達性問題,一直是Petri網這一領域的研究難題。近幾十年來,經過許多研究者的努力,取得了一些成果及突破,但始終存在不足,如現在已有的有限可達樹不能非常完整準確表示系統信息等。本文圍繞Petri網可達性展開研究,具體工作及研究成果如下:1.提出一種適用于一類一般無界Petri網子網——ω獨立網的可達樹的構建算法,即ωRT。與已存在的方法相比,ωRT僅包含由初始標識可以到達的標識,有效的避免了虛假標識的出現,保證了可達樹表示信息的準確性以及完整性。相較于MRT,ωRT還可以大幅度的減少可達樹節點數量,簡化了可達樹的結構。在此基礎上,提出驗證相關性質與定理,并利用所提出的定理解決ω獨立網的一些可達性問題,如死鎖、有限性等。2.提出適用于所有無界Petri網的新可達樹的構建算法,即AωRT。AcoRT將其適用范圍擴大至所有無界網,是本文一個重要創新點。并且在此基礎上提出了AcoRT的死鎖檢測定理。3.提出了改進的AcoRT。改進的AcoRT不僅繼承AcoRT所具有的優點,而且進一步簡化了有限可達樹的結構。最后,在總結全文的基礎上,展望了無界Petri網可達性問題的未來工作。
【作者】李月;
【導師】王壽光;
【作者基本信息】浙江工商大學,信號與信息處理,2014,碩士
【關鍵詞】無界Petri網;可達樹;可達性問題;

【參考文獻】
[1]胡榮希.新加坡:“花園城市”之國[J].長江建設.2002(04)
[2]鄭媛媛.1,3-丙二醇氧化還原酶基因的克隆分析及定向進化初探[D].華僑大學,化學工程,2004,碩士.
[3]祁滕遠.“副槍+煙氣分析”煉鋼控制系統的改進實踐[J].冶金自動化,2013,05:42-46.
[4]鄧時濱,凌曦,徐偉高,張錦.單根單壁碳納米管上吸附分子的拉曼信號檢測[A].中國化學會.中國化學會第28屆學術年會第4分會場摘要集[C].中國化學會:,2012:1.
[5]劉炳偉.鍋爐鋼材腐蝕破壞及機理研究[D].鄭州大學,材料工程(專業學位),2013,碩士.
[6]李濤.單親家庭學生心理行為偏差及學校教育策略[D].內蒙古師范大學,教育管理(專業學位),2012,碩士.
[7]王琳,劉進忙,王永鑫,李岱峰.基于特征向量的中文文檔比較方法[J].情報雜志,2005,11:48-49.
[8]賈玉磊.人脂肪干細胞協同顆粒脂肪移植的實驗研究[D].河北醫科大學,外科學,2014,碩士.
[9]趙天宇,于有東,許文奎.3500mm中厚板上切鍘刀式切頭剪[J].一重技術.2006(06)
[10]毋非非.中美個人信用檔案建設和運行機制的比較[D].鄭州大學,檔案學,2013,碩士.
[11]趙瑞.遼朝戍邊制度研究[D].吉林大學,中國古代史,2013,碩士.
[12]宋春霞.美國愛荷華州開放入學政策研究[D].西南大學,比較教育學,2013,碩士.
[13]杜景麗.組織變革中員工變革認知和變革行為立場的關系研究:變革斷裂帶的調節機制[D].浙江大學,2014.
[14]程鵬,吳秋峰,戴瓊海.基于遺傳算法的應用層多播路由方案[J].控制與決策,2006,04:381-384+390.
[15]許兆新,郝燕玲.可聚焦的幾種挖掘技術研究[J].艦船電子工程,2003,04:38-41+64.
[16]付紅梅,朱光明,王宗瑤,宋鑫月.納米材料改性聚酰亞胺研究進展[J].中國塑料,2015,02:1-7.
[17]葉發明.納米Cr_3C_2粉末及晶須的制備研究[D].四川理工學院,化學工程,2014,碩士.
[18]魯俊杰.戰略管控型集團風險管理研究[D].石家莊經濟學院,企業管理,2013,碩士.
[19]趙紅梅.多囊卵巢綜合征中醫證型與超聲卵巢形態相關性的分析[D].黑龍江中醫藥大學,中醫婦科學(專業學位),2014,碩士.
[20]侯建軍.初中學生數學創新意識的現狀調查和培養對策研究[D].湖南師范大學,教育,2003,碩士.
[21]張小娟.高品質石墨烯/聚苯胺復合材料的制備及電化學性能研究[D].湖南大學,2012.
[22]吳昊.一水肌酸對肉雞生產性能的影響及作用機理的研究[D].吉林大學,動物營養與飼料科學,2013,碩士.
[23]康汝嶺.冷戰后越南對華外交政策調整的動因研究[D].山東大學,國際關系,2013,碩士.
[24]余勝泉,李世亮,謝曉林.在線測試分析與數據挖掘系統的設計[J].開放教育研究,2005,05:74-79.
[25]簡建偉.空調器高能效的技術研究與應用[D].廣東工業大學,工程,2004,碩士.
[26]楊旭宇,朱濱,陳建文.聚丙烯/石墨烯納米復合材料的非等溫結晶動力學研究[J].塑料科技,2014,01:60-63.
[27]高巍.雌激素上調結腸癌細胞SW480及胚腎細胞293T hMLH1表達并增強細胞微衛星穩定性[D].大連醫科大學,內科學,2012,碩士.
[28]李博.流域空間關聯結構研究[D].西北師范大學,人文地理學,2013,碩士.
[29]黃山.信息不對稱、信貸配給與中小企業貸款[D].四川大學,工商管理,2003,碩士.
[30]程軍奇.近52年甘肅黃土高原極端降水事件的變化特征[D].西北師范大學,自然地理學,2013,碩士.
[31]湯雯雯.失獨家庭的養老服務問題研究[D].湖南師范大學,社會保障,2014,碩士.
[32]周丹丹.新HSK閱讀理解中使用字、詞的計量研究[D].安徽大學,漢語國際教育,2014,碩士.
[33]王琪.唐代諫官制度研究[D].揚州大學,中國古代史,2012,碩士.
[34]馬庸頗.LiBr-H_2O雙吸收熱變換器熱力過程的模擬與優化[D].大連理工大學,化學工程,2004,碩士.
[35]張興寧.太赫茲應用技術研究[D].浙江大學,2005.
[36]楊婷.邯鄲市高校體育社團發展現狀及對策研究[D].河北師范大學,體育教學,2012,碩士.
[37]任頤.開發性金融支持浙江中小企業融資模式研究[D].浙江工業大學,工商管理,2012,碩士.
[38]宋思橋.普餌茶對禽類的采食量、脂肪代謝率及血液生化指標的影響[D].吉林農業大學,生物化學與分子生物學,2012,碩士.
[39]王曉麗.我國房地產企業資金鏈管理研究[D].北京交通大學,2008.
[40]陳亮.EV-DO/WLAN異構網絡接入控制算法研究[D].哈爾濱工業大學,電子與通信工程,2013,碩士.
[41]趙鳳岐.真空聯合堆載預壓法處理軟基監測、數值模擬與沉降預測[D].河北工程大學,巖土工程,2012,碩士.
[42]郭林.福清民俗文化調查及思考[D].華中師范大學,農村與區域發展,2012,碩士.
[43]劉佳.河北省省級社區體育健身俱樂部的現狀調查與對策研究[D].河北師范大學,體育教育訓練學,2013,碩士.
[44]徐曉飛.ERP技術發展的現狀、趨勢及思考[J].中國制造業信息化,2003,03:19-29.
[45]任斐祥.景德鎮傳統陶瓷雕塑釉上彩裝飾研究[D].景德鎮陶瓷學院,美術學,2014,碩士.
[46]杜杰.德陽移動中高端客戶流失預警研究[D].電子科技大學,工商管理(專業學位),2013,碩士.
[47]張月.時間語和近體語在高中英語教學中的應用[D].河北師范大學,教育,2013,碩士.
[48]張璨,林振智,文福拴,薛禹勝,李矛,李曉露.計及機組恢復效益和線路綜合重要度的網絡重構優化策略[J].電力系統自動化,2013,21:80-87.
[49]高藝花.超聲心動圖右心室功能指標和血漿N端腦利鈉肽前體的相關性研究[D].延邊大學,內科學,2014,博士.
[50]賈航(KhamdamovJakhongir).實現全面質量管理的具體說明[D].大連海事大學,工商管理,2014,碩士.

相關推薦
更多

福彩3d走势综合版