基于非交互式Petri網的異步程序驗證模型和方法

【摘要】：異步程序使用異步非阻塞調用方式來實現程序的并發,被廣泛應用于并行與分布式系統中.驗證異步程序復雜性很高,無論是安全性還是活性均達到EXPSPACE難.提出一個異步程序的程序模型系統,并在其上定義了兩個異步程序上的問題:?等價性問題和?可達性問題.通過將3-CNF-SAT規約到這兩個問題,再將其規約至非交互式Petri網的可達性證明兩個問題是NP完備的.案例表明,這兩個問題可以解決異步程序上一系列的程序驗證問題.

下載App查看全文

下載全文更多同類文獻論文一鍵排版服務>>

PDF全文下載

CAJ全文下載

(如何獲取全文？歡迎：購買知網充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式，AdobeReader僅支持PDF格式

	【相似文獻】
	【相似文獻】

中國期刊全文數據庫

前16條

1	李廷元;范成瑜;秦志光;劉曉東;;非交互式可否認認證協議的研究[J];計算機工程與設計;2010年10期
2	李朝珍;林昌露;黃可可;;非交互式可驗證的模指數外包方案[J];福建師范大學學報(自然科學版);2021年02期
3	張懿;薛小燕;欒尚敏;田立勤;;基于隨機Petri網的校園突發事件應急系統性能分析[J];現代計算機;2022年08期
4	王麗麗;方賢文;;建模思想在《Petri網理論與應用》教學中的滲透[J];電腦知識與技術;2020年35期
5	周躍;;基于隨機petri網的計算機系統及網絡優化研究[J];中國新通信;2020年24期
6	何子賢;劉祥偉;;基于Petri網的發熱門診流程模型優化分析[J];長春理工大學學報(自然科學版);2021年04期
7	朱明星;孫正來;劉文燁;吳仲超;徐飛;葉海峰;趙岱平;;基于Ⅰ型同步結構分解的微電網Petri模型[J];控制工程;2019年12期
8	王吳松;方歡;;基于Petri網的銀行貸款建模與分析[J];懷化學院學報;2019年11期
9	郝真鳴;孫丹丹;郝晉淵;陳凡;葛衛華;李兵兵;冉寧;;基于Petri網的離散事件系統初始資源優化配置[J];河北大學學報(自然科學版);2020年02期
10	張丞;王云霄;馬琳;張文斌;于航;;基于多層模糊Petri網的跨區域電網安全態勢自動預測方法研究[J];自動化與儀器儀表;2020年07期
11	楊大光;常波;;模糊故障Petri網在飛機電源系統故障診斷中研究[J];裝備制造技術;2016年11期
12	劉爍;孔德龍;劉澤平;;模糊Petri網在油田開發設計領域的應用研究[J];計算技術與自動化;2016年04期
13	譚雁英;童明;張艷寧;祝小平;;基于加權模糊Petri網的無人機自主任務推理決策研究[J];西北工業大學學報;2016年06期
14	祁超;羅瀾峻;;基于事件鏈及廣義隨機Petri網的洪澇災害案例分析[J];武漢理工大學學報(信息與管理工程版);2017年02期
15	劉韓旭;王志昕;;一種基于廣義隨機Petri網的醫院門診流程的建模方法與其性能分析[J];電子技術;2017年08期
16	徐倩;應時;賈向陽;耿江屹;李琳;;基于層次著色Petri網的網構軟件性能建模與仿真分析方法[J];小型微型計算機系統;2016年04期

中國重要會議論文全文數據庫

前20條

1	徐李勤;王潔寧;;基于層次有色Petri網的軟件測試用例選取研究[A];全國第二屆信號處理與應用學術會議?？痆C];2008年
2	岳昊;李文杰;陳寶興;;Petri網系統本原有效受控可重復向量分析[A];中國自動化學會控制理論專業委員會B卷[C];2011年
3	張婷婷;王智學;牛彥杰;牛小星;張晶晶;;基于著色Petri網的作戰活動模型分析與優化方法[A];2013第一屆中國指揮控制大會論文集[C];2013年
4	李曉鷗;郭令忠;徐心和;;Petri網監控的時態邏輯框架[A];1994中國控制與決策學術年會論文集[C];1994年
5	吳兆春;柏立軍;徐心和;王梅生;;一類混雜系統的混雜Petri網建模[A];1997中國控制與決策學術年會論文集[C];1997年
6	張旭;魏建;熊靜;;基于Petri網的民航旅行代理服務工作流建模研究[A];2008'中國信息技術與應用學術論壇論文集（一）[C];2008年
7	高德平;周國祥;;基于著色Petri網的工作流模型的研究與應用[A];全國第20屆計算機技術與應用學術會議(CACIS·2009)暨全國第1屆安全關鍵技術與應用學術會議論文集（下冊）[C];2009年
8	任敏;胡紅娟;沈林成;;基于petri網的巡航導彈戰術任務流程建模[A];2007系統仿真技術及其應用學術會議論文集[C];2007年
9	阿孜古麗;劉建明;劉潔卉;;基于Petri網的業務流程評估[A];著力提高高等教育質量，努力增強高校創新與服務能力——北京市高等教育學會2007年學術年會論文集（下冊）[C];2008年
10	張雷;;一種計算機取證的時間Petri網推理方法[A];2008'中國信息技術與應用學術論壇論文集（二）[C];2008年
11	唐樂;雷航;吳曉華;;基于時間Petri網產生測試序列的方法[A];第四屆中國測試學術會議論文集[C];2006年
12	陳挺;張育平;;基于Petri網的軟件過程建模技術的研究[A];2008通信理論與技術新進展——第十三屆全國青年通信學術會議論文集（上）[C];2008年
13	鮑平安;陳輝堂;;基于Petri網的并行處理模型[A];1997中國控制與決策學術年會論文集[C];1997年
14	李震;劉斌;殷永峰;李曉勛;;基于改進Petri網的可信軟件模型驗證和測試研究[A];第六屆中國測試學術會議論文集[C];2010年
15	張輝;董榮勝;高西;;一種嵌入式系統擴展流關系Petri網及應用[A];廣西計算機學會2007年年會論文集[C];2007年
16	薛瑜;李承家;呂莉芳;;模糊Petri網與連續Petri網的關系[A];第九屆中國不確定系統年會、第五屆中國智能計算大會、第十三屆中國青年信息與管理學者大會論文集[C];2011年
17	孫瀟靜;章寧;王魯濱;;基于隨機Petri網的連鎖超市配送流程建模與分析[A];中國系統工程學會決策科學專業委員會第六屆學術年會論文集[C];2005年
18	孫相建;田國會;劉長有;;輸送系統的Petri網建模、分析與控制[A];1997中國控制與決策學術年會論文集[C];1997年
19	高茜;邱經華;;活的單支Petri網的一個可達性判定方法[A];計算機技術與應用進展·2007——全國第18屆計算機技術與應用（CACIS）學術會議論文集[C];2007年
20	陳浩勛;李惠峰;孫國基;;一類混雜系統的Petri網模型[A];1997年中國控制會議論文集[C];1997年

中國博士學位論文全文數據庫

前20條

1	曹木亮;基于π-演算的Petri網和密碼協議的形式化分析[D];上海交通大學;2007年
2	陳曉亮;基于Petri網的離散事件系統混或診斷和監督控制研究[D];西安電子科技大學;2014年
3	羅鵬程;基于Petri網的系統安全性建模與分析技術研究[D];國防科學技術大學;2001年
4	張勁松;基于受控混雜Petri網的連續過程生產調度建模及優化方法[D];山東大學;2008年
5	葉丹丹;基于Petri網的離散事件系統的故障診斷技術[D];浙江大學;2019年
6	陽罰軍;基于Petri網的多組合設備最優調度與控制[D];廣東工業大學;2016年
7	李誠;基于Petri網和啟發式搜索的調度算法研究[D];浙江大學;2015年
8	楊凱;基于MSVL的動靜結合程序驗證和自動規劃[D];西安電子科技大學;2019年
9	李紹勇;基于信標迭代控制的Petri網死鎖預防策略[D];西安電子科技大學;2011年
10	王安榮;Petri網基本信標的求取算法及死鎖避免策略研究[D];西安電子科技大學;2009年
11	許少云;混合動態Petri網理論與混合型企業CIMS的建模、分析問題研究[D];華南理工大學;1997年
12	馮曉寧;基于本體的語義Petri網研究及其在系統建模中的應用[D];哈爾濱工程大學;2009年
13	冉寧;基于Petri網的離散事件系統的監控器綜合與故障檢測[D];浙江大學;2017年
14	董利達;基于序狀Petri網的離散事件系統監控理論[D];浙江大學;2004年
15	孫宇博;基于混合Petri網的礦井生產主物流系統建模與仿真[D];西南交通大學;2012年
16	邊旭興;科學哲學視域下Petri語用網研究[D];山西大學;2016年
17	劉磊;基于Petri網的工作流模型化方法及其應用研究[D];浙江理工大學;2013年
18	吳維敏;離散事件系統的Petri網控制器綜合[D];浙江大學;2002年
19	田娥;基于Petri網建模的機務段業務流程控制信息化系統的研究[D];武漢理工大學;2007年
20	朱清華;多組合設備的Petri網建模及優化調度[D];廣東工業大學;2013年

中國碩士學位論文全文數據庫

前20條

1	李華龍;基于ENPOT的多用戶非交互式可驗證計算的研究[D];東北大學;2015年
2	楊富寬;基于混雜Petri網的系統不透明性分析[D];西安電子科技大學;2021年
3	徐其科;基于隨機Petri網的供應鏈金融融資模式研究[D];浙江工業大學;2016年
4	付小慶;基于petri網的集裝箱碼頭生產物流系統分析[D];天津理工大學;2014年
5	陳健;基于Petri網的自動化立體倉庫調度系統的建模及優化研究[D];河北大學;2012年
6	馬軍;基于隨機Petri網的業務流程可生存性研究[D];山東大學;2012年
7	張奇;基于著色Petri網的工作流引擎研究[D];大連理工大學;2011年
8	謝曄;基于Petri網的異步電路設計研究[D];江蘇大學;2008年
9	王喆;基于著色Petri網的工作流執行服務的設計與實現[D];清華大學;2005年
10	盧娜;基于模糊Petri網與改進優化算法的柔性制造系統故障診斷研究[D];上海應用技術大學;2021年
11	萬超;基于Petri網的工作流引擎的設計與實現[D];華南理工大學;2010年
12	肖良清;基于時間Petri網的并行測試研究[D];長沙理工大學;2010年
13	孫麗娟;Petri網在指揮控制系統中的應用研究[D];南京理工大學;2007年
14	王麗麗;關于Petri網中同步距離計算的探討[D];山東科技大學;2007年
15	劉關俊;關于Petri網可重復向量及死鎖的求解算法[D];山東科技大學;2006年
16	郭穎麗;基于Petri網的工作流管理系統的研究與設計[D];武漢理工大學;2005年
17	伊文霞;基于Petri網的政務流程建模研究[D];大連理工大學;2006年
18	簡超;基于Petri網的工作流管理系統建模與分析[D];電子科技大學;2006年
19	王壯壯;基于帶抑止弧的Petri網描述的嵌入式系統模型組合[D];山東建筑大學;2022年
20	徐淑琳;基于Petri網的離散事件系統的變遷序列估計和初始標識估計問題研究[D];青島大學;2021年

	快捷付款方式		訂購知網充值卡	訂購熱線	幫助中心
	微信支付支付寶銀行卡	知網卡在線購卡更多>>	免費送卡上門銀行匯款購卡郵局匯款購卡	400-819-9993 010-62982499 010-62783978	常見問題在線咨詢閱讀器下載	充值中心知網卡新手指南