電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
給出了基于時(shí)序Petri網(wǎng)下的網(wǎng)上證券交易系統(tǒng)，其模型過(guò)于復(fù)雜。由于Petri網(wǎng)本身很強(qiáng)的模擬能力，本文用P/T_系統(tǒng)，模擬了證券交易所的網(wǎng)上證券交易系統(tǒng)，進(jìn)而用S-不變等方法對(duì)其進(jìn)行了驗(yàn)證。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 籃球30s倒計(jì)時(shí)仿真模擬與報(bào)告下載 26次下載
- 一種去中心化的電子證照庫(kù)共享交易系統(tǒng) 11次下載
- 通信Petri網(wǎng)的異步通信程序驗(yàn)證 0次下載
- 基于時(shí)間Petri網(wǎng)的并發(fā)系統(tǒng)建模分析方法 0次下載
- Petri網(wǎng)在計(jì)費(fèi)系統(tǒng)中的應(yīng)用研究_侯煜 0次下載
- Petri網(wǎng)分析方法綜述 18次下載
- 基于Petri網(wǎng)推理的監(jiān)控視頻
- 無(wú)線通信系統(tǒng)的Petri網(wǎng)建模與分析
- 基于Petri網(wǎng)的煤礦企業(yè)電子商務(wù)模型研究
- 基于Matlab環(huán)境的Petri網(wǎng)的仿真方法
- 基于對(duì)象Petri網(wǎng)的導(dǎo)彈作戰(zhàn)效能評(píng)估方法
- 基于對(duì)象Petri網(wǎng)的研究導(dǎo)彈作戰(zhàn)效能評(píng)估的方法
- 基于PKI 的電子商務(wù)交易系統(tǒng)及交易中信息安全的實(shí)現(xiàn)
- 基于Petri網(wǎng)的安全工作流管理系統(tǒng)建模
- 基于Petri網(wǎng)的工作流時(shí)間動(dòng)態(tài)預(yù)測(cè)及驗(yàn)證
- 如何畫(huà)出規(guī)范的UML用例圖 677次閱讀
- fpga驗(yàn)證及其在soc驗(yàn)證中的作用有哪些 1178次閱讀
- 基于多通道目標(biāo)模擬系統(tǒng)構(gòu)建 833次閱讀
- 通用支付系統(tǒng)設(shè)計(jì) 949次閱讀
- 電源管理系統(tǒng)熱模型的建模和驗(yàn)證 3832次閱讀
- 以太坊上執(zhí)行交易過(guò)程的原理解析 5927次閱讀
- 如何驗(yàn)證對(duì)方鏈上發(fā)生的交易的合法性 1671次閱讀
- 區(qū)塊鏈跨鏈轉(zhuǎn)移EOS主網(wǎng)和BOS主網(wǎng)的結(jié)構(gòu)設(shè)計(jì) 1621次閱讀
- 艾邁斯半導(dǎo)體推出了新款彩色接近和閃變檢測(cè)傳感器 1234次閱讀
- 影響區(qū)塊鏈交易性能的有哪幾個(gè)環(huán)節(jié)？ 1462次閱讀
- 基于VC++設(shè)計(jì)的模擬舵機(jī)系統(tǒng)，可實(shí)現(xiàn)多種類型舵機(jī) 1826次閱讀
- 基于片上系統(tǒng)的SOC設(shè)計(jì)驗(yàn)證方案 1547次閱讀
- 一種對(duì)于分散式交易市場(chǎng)中基于智能體的服務(wù)提供者的責(zé)任執(zhí)行驗(yàn)證方法 3784次閱讀
- 模擬與數(shù)字的智能集成 3864次閱讀
- 針對(duì)芯片中模擬/射頻模塊驗(yàn)證問(wèn)題的驗(yàn)證工具設(shè)計(jì) 1769次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1491次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論