電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
隨著工作流系統(tǒng)趨于大型化，使得可達(dá)圖的驗(yàn)證技術(shù)對(duì)于大型模型進(jìn)行驗(yàn)證時(shí)面臨著
狀態(tài)空間爆炸的問題。因此，在過程驗(yàn)證之前，對(duì)大型模型進(jìn)行化簡是必要的。本文通過引入Petri 網(wǎng)、Workflow Petri 網(wǎng)和過程合理性定義，采用Petri 網(wǎng)的兩種化簡技術(shù)，實(shí)現(xiàn)了工作流過程模型結(jié)構(gòu)合理性驗(yàn)證過程。
狀態(tài)空間爆炸的問題。因此，在過程驗(yàn)證之前，對(duì)大型模型進(jìn)行化簡是必要的。本文通過引入Petri 網(wǎng)、Workflow Petri 網(wǎng)和過程合理性定義，采用Petri 網(wǎng)的兩種化簡技術(shù)，實(shí)現(xiàn)了工作流過程模型結(jié)構(gòu)合理性驗(yàn)證過程。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- AOV網(wǎng)的工作流模型研究 0次下載
- 通信Petri網(wǎng)的異步通信程序驗(yàn)證 0次下載
- 開關(guān)變壓器伏秒容量測量實(shí)例分析并對(duì)其工作狀態(tài)的合理性驗(yàn)證 13次下載
- 基于擴(kuò)展染色Petri網(wǎng)的工作流過程模型周小聰 0次下載
- 地面數(shù)據(jù)模擬計(jì)算風(fēng)能參數(shù)的合理性分析_高健 0次下載
- Petri網(wǎng)動(dòng)態(tài)工作流在OA系統(tǒng)中的應(yīng)用 31次下載
- 一種基于Petri網(wǎng)的工作流挖掘算法
- 基于IPO的工作流模型定義與XPDL解析
- 基于工作流的遙感數(shù)據(jù)存檔系統(tǒng)
- 基于Petri網(wǎng)的安全工作流管理系統(tǒng)建模
- 基于Petri網(wǎng)的工作流時(shí)間動(dòng)態(tài)預(yù)測及驗(yàn)證
- 擴(kuò)展時(shí)間和層次的Petri網(wǎng)工作流模型
- 基于Petri 網(wǎng)的工作流邏輯化簡規(guī)則的矩陣表示
- 密碼協(xié)議形式化分析的計(jì)算合理性
- 基于角色的安全工作流模型
- 汽車低壓零部件電性能測試方案 800次閱讀
- 設(shè)計(jì)和模擬厘米尺度超透鏡的工作流程 1143次閱讀
- 基于碰撞電離率模型的Miller公式S參數(shù)擬合分析 1279次閱讀
- Profile工作判斷模型的計(jì)算以及內(nèi)存瓶頸 1451次閱讀
- 27個(gè)非常經(jīng)典的設(shè)備工作流程圖解 1825次閱讀
- IC驗(yàn)證的主要工作流程和驗(yàn)證工具是什么？ 1731次閱讀
- 純電動(dòng)汽車動(dòng)力系統(tǒng)選型匹配與仿真 1800次閱讀
- 數(shù)字電子技術(shù)基礎(chǔ)----邏輯函數(shù)的化簡方法 1.9w次閱讀
- 推薦兩個(gè)工作流的springboot項(xiàng)目 1730次閱讀
- 電纜橋架類型的選擇原則_電纜橋架選擇的規(guī)范要求 8826次閱讀
- KiCad的工作流程解析 3495次閱讀
- 液體活檢將如何改變癌癥診療？微流控技術(shù)推動(dòng)技術(shù)突破 4515次閱讀
- PCB設(shè)計(jì)的直角走線，差分走線，蛇形線走線技巧 3611次閱讀
- 電子產(chǎn)品性能評(píng)估溫升曲線的測試 2841次閱讀
- 基于VMM驗(yàn)證方法學(xué)的MCU驗(yàn)證環(huán)境 3364次閱讀
上傳資料賺積分下載排行
本周
- 1貼片三極管上的印字與真實(shí)名稱的對(duì)照表詳細(xì)說明
- 0.50 MB | 87次下載 | 1 積分
- 2802.11_Wireless_Networks
- 4.17 MB | 12次下載 | 免費(fèi)
- 33D AD庫文件
- 16.96 MB | 2次下載 | 免費(fèi)
- 4BDR6121G直流電機(jī)驅(qū)動(dòng)芯片中文手冊(cè)
- 0.54 MB | 1次下載 | 免費(fèi)
- 5ANT8817 1%3.5W/3.7V，同步自適應(yīng)升壓，超長續(xù)航，H類防破音單聲道音頻功放中文手冊(cè)
- 1.11 MB | 1次下載 | 免費(fèi)
- 610K-100K B3950-B3435NTC熱敏電阻快速查詢對(duì)照表
- 0.10 MB | 1次下載 | 1 積分
- 7ANT8825S內(nèi)置同步升壓，防破音，AB/D類雙模立體聲音頻功放中文手冊(cè)
- 1.29 MB | 次下載 | 免費(fèi)
- 8ANT3270 2×75W/2×38W+75W，免電感，低EMI，D類音頻功率放大器中文手冊(cè)
- 1.33 MB | 次下載 | 免費(fèi)
本月
- 1AI智能眼鏡產(chǎn)業(yè)鏈分析
- 4.43 MB | 311次下載 | 免費(fèi)
- 2蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 286次下載 | 5 積分
- 3長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 87次下載 | 5 積分
- 4貼片三極管上的印字與真實(shí)名稱的對(duì)照表詳細(xì)說明
- 0.50 MB | 87次下載 | 1 積分
- 5U盤一鍵制作
- 23.84 MB | 41次下載 | 免費(fèi)
- 6AO4803A雙P通道增強(qiáng)型場效應(yīng)晶體管的數(shù)據(jù)手冊(cè)
- 0.11 MB | 28次下載 | 2 積分
- 7長虹液晶彩電LS29機(jī)芯的技術(shù)資料說明
- 3.42 MB | 16次下載 | 2 積分
- 8802.11_Wireless_Networks
- 4.17 MB | 12次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191387次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81586次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論