電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
隨著工作流系統(tǒng)趨于大型化，使得可達圖的驗證技術(shù)對于大型模型進行驗證時面臨著
狀態(tài)空間爆炸的問題。因此，在過程驗證之前，對大型模型進行化簡是必要的。本文通過引入Petri 網(wǎng)、Workflow Petri 網(wǎng)和過程合理性定義，采用Petri 網(wǎng)的兩種化簡技術(shù)，實現(xiàn)了工作流過程模型結(jié)構(gòu)合理性驗證過程。
狀態(tài)空間爆炸的問題。因此，在過程驗證之前，對大型模型進行化簡是必要的。本文通過引入Petri 網(wǎng)、Workflow Petri 網(wǎng)和過程合理性定義，采用Petri 網(wǎng)的兩種化簡技術(shù)，實現(xiàn)了工作流過程模型結(jié)構(gòu)合理性驗證過程。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- AOV網(wǎng)的工作流模型研究 0次下載
- 通信Petri網(wǎng)的異步通信程序驗證 0次下載
- 開關(guān)變壓器伏秒容量測量實例分析并對其工作狀態(tài)的合理性驗證 13次下載
- 基于擴展染色Petri網(wǎng)的工作流過程模型周小聰 0次下載
- 地面數(shù)據(jù)模擬計算風能參數(shù)的合理性分析_高健 0次下載
- Petri網(wǎ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)的工作流時間動態(tài)預(yù)測及驗證
- 擴展時間和層次的Petri網(wǎng)工作流模型
- 基于Petri 網(wǎng)的工作流邏輯化簡規(guī)則的矩陣表示
- 密碼協(xié)議形式化分析的計算合理性
- 基于角色的安全工作流模型
- 汽車低壓零部件電性能測試方案 800次閱讀
- 設(shè)計和模擬厘米尺度超透鏡的工作流程 1143次閱讀
- 基于碰撞電離率模型的Miller公式S參數(shù)擬合分析 1279次閱讀
- Profile工作判斷模型的計算以及內(nèi)存瓶頸 1451次閱讀
- 27個非常經(jīng)典的設(shè)備工作流程圖解 1825次閱讀
- IC驗證的主要工作流程和驗證工具是什么？ 1731次閱讀
- 純電動汽車動力系統(tǒng)選型匹配與仿真 1800次閱讀
- 數(shù)字電子技術(shù)基礎(chǔ)----邏輯函數(shù)的化簡方法 1.9w次閱讀
- 推薦兩個工作流的springboot項目 1730次閱讀
- 電纜橋架類型的選擇原則_電纜橋架選擇的規(guī)范要求 8826次閱讀
- KiCad的工作流程解析 3495次閱讀
- 液體活檢將如何改變癌癥診療？微流控技術(shù)推動技術(shù)突破 4515次閱讀
- PCB設(shè)計的直角走線，差分走線，蛇形線走線技巧 3611次閱讀
- 電子產(chǎn)品性能評估溫升曲線的測試 2841次閱讀
- 基于VMM驗證方法學的MCU驗證環(huán)境 3364次閱讀
上傳資料賺積分下載排行
本周
- 1PID控制算法學習筆記資料
- 3.43 MB | 3次下載 | 2 積分
- 2匯聯(lián)芯橋代理_HL817_USB3.1 HUB控制器 提供樣品與設(shè)計資料
- 1.05 MB | 1次下載 | 免費
- 3VLI威鋒代理-VL103-擴展塢PD3.0協(xié)議芯片，typeCPD充電輸出DP信號 替代VL102
- 1.18 MB | 1次下載 | 免費
- 4一種抗輻射加固檢錯糾錯電路的設(shè)計
- 0.32 MB | 次下載 | 2 積分
- 5NVS800校驗手操器操作說明書
- 0.54 MB | 次下載 | 免費
- 6瑞芯微代理 RK628F Datasheet V1 HDMI轉(zhuǎn)MIPI/LVDS 視頻橋接芯片
- 1.29 MB | 次下載 | 免費
- 78232A/8232B中文數(shù)據(jù)手冊
- 0.57 MB | 次下載 | 2 積分
- 8SW5099規(guī)格書
- 1.37 MB | 次下載 | 1 積分
本月
- 1如何看懂電子電路圖
- 12.88 MB | 272次下載 | 免費
- 2PC5502負載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 12次下載 | 免費
- 3RK3588數(shù)據(jù)手冊
- 2.24 MB | 12次下載 | 免費
- 4ESP32開發(fā)板元件資料
- 0.03 MB | 8次下載 | 免費
- 5OAH0428 V1.0英文規(guī)格書
- 5.86 MB | 8次下載 | 免費
- 6PC1032 5.5V_3A高效率同步降壓轉(zhuǎn)換器數(shù)據(jù)手冊
- 0.76 MB | 3次下載 | 免費
- 7臺達變頻器VFD-M使用手冊
- 2.51 MB | 3次下載 | 免費
- 8PID控制算法學習筆記資料
- 3.43 MB | 3次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935132次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191414次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183349次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81599次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73818次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65990次下載 | 10 積分
工商網(wǎng)監(jiān)
評論