電子發(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ì)算合理性
- 基于角色的安全工作流模型
- 汽車低壓零部件電性能測(cè)試方案 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ù)的化簡(jiǎn)方法 1.9w次閱讀
- 推薦兩個(gè)工作流的springboot項(xiàng)目 1730次閱讀
- 電纜橋架類型的選擇原則_電纜橋架選擇的規(guī)范要求 8826次閱讀
- KiCad的工作流程解析 3495次閱讀
- 液體活檢將如何改變癌癥診療？微流控技術(shù)推動(dòng)技術(shù)突破 4515次閱讀
- PCB設(shè)計(jì)的直角走線，差分走線，蛇形線走線技巧 3611次閱讀
- 電子產(chǎn)品性能評(píng)估溫升曲線的測(cè)試 2841次閱讀
- 基于VMM驗(yàn)證方法學(xué)的MCU驗(yàn)證環(huán)境 3364次閱讀
上傳資料賺積分下載排行
本周
- 1TC358743XBG評(píng)估板參考手冊(cè)
- 1.36 MB | 330次下載 | 免費(fèi)
- 2開(kāi)關(guān)電源基礎(chǔ)知識(shí)
- 5.73 MB | 11次下載 | 免費(fèi)
- 3嵌入式linux-聊天程序設(shè)計(jì)
- 0.60 MB | 3次下載 | 免費(fèi)
- 4DIY動(dòng)手組裝LED電子顯示屏
- 0.98 MB | 3次下載 | 免費(fèi)
- 5基于FPGA的C8051F單片機(jī)開(kāi)發(fā)板設(shè)計(jì)
- 0.70 MB | 2次下載 | 免費(fèi)
- 651單片機(jī)窗簾控制器仿真程序
- 1.93 MB | 2次下載 | 免費(fèi)
- 751單片機(jī)大棚環(huán)境控制器仿真程序
- 1.10 MB | 2次下載 | 免費(fèi)
- 8基于51單片機(jī)的RGB調(diào)色燈程序仿真
- 0.86 MB | 2次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費(fèi)
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費(fèi)
- 4開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21549次下載 | 免費(fèi)
- 5電氣工程師手冊(cè)免費(fèi)下載(新編第二版pdf電子書(shū))
- 0.00 MB | 15349次下載 | 免費(fèi)
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費(fèi)
- 7電子制作實(shí)例集錦 下載
- 未知 | 8113次下載 | 免費(fèi)
- 8《LED驅(qū)動(dòng)電路設(shè)計(jì)》 溫德?tīng)栔?/a>
- 0.00 MB | 6656次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537798次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191186次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183279次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138040次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論