電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
隨著工作流系統(tǒng)趨于大型化，使得可達(dá)圖的驗(yàn)證技術(shù)對(duì)于大型模型進(jìn)行驗(yàn)證時(shí)面臨著
狀態(tài)空間爆炸的問(wèn)題。因此，在過(guò)程驗(yàn)證之前，對(duì)大型模型進(jìn)行化簡(jiǎn)是必要的。本文通過(guò)引入Petri 網(wǎng)、Workflow Petri 網(wǎng)和過(guò)程合理性定義，采用Petri 網(wǎng)的兩種化簡(jiǎn)技術(shù)，實(shí)現(xiàn)了工作流過(guò)程模型結(jié)構(gòu)合理性驗(yàn)證過(guò)程。
狀態(tài)空間爆炸的問(wèn)題。因此，在過(guò)程驗(yàn)證之前，對(duì)大型模型進(jìn)行化簡(jiǎn)是必要的。本文通過(guò)引入Petri 網(wǎng)、Workflow Petri 網(wǎng)和過(guò)程合理性定義，采用Petri 網(wǎng)的兩種化簡(jiǎn)技術(shù)，實(shí)現(xiàn)了工作流過(guò)程模型結(jié)構(gòu)合理性驗(yàn)證過(guò)程。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- AOV網(wǎng)的工作流模型研究 0次下載
- 通信Petri網(wǎng)的異步通信程序驗(yàn)證 0次下載
- 開(kāi)關(guān)變壓器伏秒容量測(cè)量實(shí)例分析并對(duì)其工作狀態(tài)的合理性驗(yàn)證 13次下載
- 基于擴(kuò)展染色Petri網(wǎng)的工作流過(guò)程模型周小聰 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ù)測(cè)及驗(yàn)證
- 擴(kuò)展時(shí)間和層次的Petri網(wǎng)工作流模型
- 基于Petri 網(wǎng)的工作流邏輯化簡(jiǎn)規(guī)則的矩陣表示
- 密碼協(xié)議形式化分析的計(jì)算合理性
- 基于角色的安全工作流模型
- 【產(chǎn)品介紹】Altair SimLab可連接CAD的多物理場(chǎng)工作流 660次閱讀
- 滾珠絲桿怎么選型？ 906次閱讀
- FPGA EDA軟件的位流驗(yàn)證 2.2k次閱讀
- 設(shè)計(jì)和模擬厘米尺度超透鏡的工作流程 2.3k次閱讀
- 基于碰撞電離率模型的Miller公式S參數(shù)擬合分析 2.3k次閱讀
- Profile工作判斷模型的計(jì)算以及內(nèi)存瓶頸 2.5k次閱讀
- 27個(gè)非常經(jīng)典的設(shè)備工作流程圖解 3k次閱讀
- IC驗(yàn)證的主要工作流程和驗(yàn)證工具是什么？ 2.8k次閱讀
- 純電動(dòng)汽車動(dòng)力系統(tǒng)選型匹配與仿真 2.7k次閱讀
- 數(shù)字電子技術(shù)基礎(chǔ)----邏輯函數(shù)的化簡(jiǎn)方法 2.5w次閱讀
- 推薦兩個(gè)工作流的springboot項(xiàng)目 2.5k次閱讀
- 電纜橋架類型的選擇原則_電纜橋架選擇的規(guī)范要求 9.7k次閱讀
- KiCad的工作流程解析 4.1k次閱讀
- 液體活檢將如何改變癌癥診療？微流控技術(shù)推動(dòng)技術(shù)突破 5k次閱讀
- 電子產(chǎn)品性能評(píng)估溫升曲線的測(cè)試 3.7k次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊(cè)
- 2.33 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管S9012數(shù)據(jù)手冊(cè)
- 2.62 MB | 次下載 | 免費(fèi)
- 3聯(lián)想flex2-14D/15D說(shuō)明書
- 4.92 MB | 次下載 | 免費(fèi)
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊(cè)
- 2.50 MB | 次下載 | 免費(fèi)
- 524Pin Type-C連接器設(shè)計(jì)報(bào)告
- 1.06 MB | 次下載 | 免費(fèi)
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費(fèi)
- 7MS1000TA 超聲波測(cè)量模擬前端芯片技術(shù)手冊(cè)
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測(cè)量(TDC)電路數(shù)據(jù)手冊(cè)
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛(ài)華AIWA HS-J202維修手冊(cè)
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說(shuō)明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測(cè)距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開(kāi)源硬件-PMP21529.1-4 開(kāi)關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論