完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>
標(biāo)簽 > petri網(wǎng)
Petri網(wǎng)是對(duì)離散并行系統(tǒng)的數(shù)學(xué)表示。Petri網(wǎng)是20世紀(jì)60年代由卡爾·A·佩特里發(fā)明的,適合于描述異步的、并發(fā)的計(jì)算機(jī)系統(tǒng)模型。 Petri網(wǎng)既有嚴(yán)格的數(shù)學(xué)表述方式,也有直觀(guān)的圖形表達(dá)方式,既有豐富的系統(tǒng)描述手段和系統(tǒng)行為分析技術(shù),又為計(jì)算機(jī)科學(xué)提供堅(jiān)實(shí)的概念基礎(chǔ)。
文章:3個(gè) 瀏覽:18743次 帖子:0個(gè)
如何使用著色Petri網(wǎng)的無(wú)線(xiàn)閉塞進(jìn)行中心安全加密資料說(shuō)明立即下載
2018-12-21 標(biāo)簽:控制系統(tǒng)無(wú)線(xiàn)網(wǎng)絡(luò)Petri網(wǎng) 1079 0
2018-03-14 標(biāo)簽:Petri網(wǎng) 1303 0
基于對(duì)稱(chēng)三層架構(gòu)的Petri網(wǎng)仿真工具開(kāi)發(fā)_王雷立即下載
2017-03-19 標(biāo)簽:Petri網(wǎng)對(duì)稱(chēng)三層架構(gòu) 1246 0
混成時(shí)空Petri網(wǎng)的CPS實(shí)時(shí)事件模型_譚朋柳立即下載
2017-03-19 標(biāo)簽:Petri網(wǎng)混成時(shí)空CPS實(shí)時(shí)事件 1001 0
Petri網(wǎng)的水產(chǎn)品溯源系統(tǒng)模型_袁紅春立即下載
2017-03-19 標(biāo)簽:Petri網(wǎng)水產(chǎn)品溯源 888 0
基于擴(kuò)展染色Petri網(wǎng)的工作流過(guò)程模型周小聰立即下載
2017-03-16 標(biāo)簽:Petri網(wǎng) 861 0
Petri網(wǎng)在計(jì)費(fèi)系統(tǒng)中的應(yīng)用研究_侯煜立即下載
2017-03-19 標(biāo)簽:Petri網(wǎng)計(jì)費(fèi)系統(tǒng) 940 0
6 過(guò)程建模(petri網(wǎng))petri網(wǎng)及其應(yīng)用立即下載
2014-11-10 標(biāo)簽:petri網(wǎng) 743 0
基于有色Petri網(wǎng)的模型驅(qū)動(dòng)SOA服務(wù)模型組合立即下載
2012-03-01 標(biāo)簽:SOAPetri網(wǎng) 670 0
基于Petri網(wǎng)的安全協(xié)議形式化描述和安全性驗(yàn)證立即下載
2011-08-18 標(biāo)簽:安全協(xié)議Petri網(wǎng) 855 0
UML與Petri網(wǎng)在嵌入式系統(tǒng)設(shè)計(jì)中的研究立即下載
2011-08-18 標(biāo)簽:嵌入式系統(tǒng)UMLPetri網(wǎng) 665 0
Petri網(wǎng)在PLC程序設(shè)計(jì)中的應(yīng)用立即下載
2011-08-09 標(biāo)簽:PLCPetri網(wǎng) 619 0
基于變遷指標(biāo)的Petri網(wǎng)分解方法立即下載
2011-06-29 標(biāo)簽:Petri網(wǎng)變遷指標(biāo)分解方法 500 0
基于Petri網(wǎng)的安全協(xié)議形式化分析立即下載
2011-06-20 標(biāo)簽:安全協(xié)議Petri網(wǎng) 832 0
2011-06-16 標(biāo)簽:Petri網(wǎng) 561 0
Petri網(wǎng)動(dòng)態(tài)工作流在OA系統(tǒng)中的應(yīng)用立即下載
2011-04-27 標(biāo)簽:Petri網(wǎng)工作流OA系統(tǒng) 1113 0
基于Petri網(wǎng)推理的監(jiān)控視頻立即下載
2010-09-23 標(biāo)簽:Petri網(wǎng)監(jiān)控視 757 0
基于顏色Petri網(wǎng)的SPIN協(xié)議研究立即下載
2010-02-26 標(biāo)簽:SPIPetri網(wǎng) 555 0
基于Petri網(wǎng)的網(wǎng)上股票交易系統(tǒng)模擬與驗(yàn)證立即下載
2010-02-25 標(biāo)簽:Petri網(wǎng)股票交 817 0
編輯推薦廠(chǎng)商產(chǎn)品技術(shù)軟件/工具OS/語(yǔ)言教程專(zhuān)題
電機(jī)控制 | DSP | 氮化鎵 | 功率放大器 | ChatGPT | 自動(dòng)駕駛 | TI | 瑞薩電子 |
BLDC | PLC | 碳化硅 | 二極管 | OpenAI | 元宇宙 | 安森美 | ADI |
無(wú)刷電機(jī) | FOC | IGBT | 逆變器 | 文心一言 | 5G | 英飛凌 | 羅姆 |
直流電機(jī) | PID | MOSFET | 傳感器 | 人工智能 | 物聯(lián)網(wǎng) | NXP | 賽靈思 |
步進(jìn)電機(jī) | SPWM | 充電樁 | IPM | 機(jī)器視覺(jué) | 無(wú)人機(jī) | 三菱電機(jī) | ST |
伺服電機(jī) | SVPWM | 光伏發(fā)電 | UPS | AR | 智能電網(wǎng) | 國(guó)民技術(shù) | Microchip |
Arduino | BeagleBone | 樹(shù)莓派 | STM32 | MSP430 | EFM32 | ARM mbed | EDA |
示波器 | LPC | imx8 | PSoC | Altium Designer | Allegro | Mentor | Pads |
OrCAD | Cadence | AutoCAD | 華秋DFM | Keil | MATLAB | MPLAB | Quartus |
C++ | Java | Python | JavaScript | node.js | RISC-V | verilog | Tensorflow |
Android | iOS | linux | RTOS | FreeRTOS | LiteOS | RT-THread | uCOS |
DuerOS | Brillo | Windows11 | HarmonyOS |