標簽 > petri網(wǎng)
文章:3個 瀏覽:18756次
Petri網(wǎng)是對離散并行系統(tǒng)的數(shù)學(xué)表示。Petri網(wǎng)是20世紀60年代由卡爾·A·佩特里發(fā)明的,適合于描述異步的、并發(fā)的計算機系統(tǒng)模型。 Petri網(wǎng)既有嚴格的數(shù)學(xué)表述方式,也有直觀的圖形表達方式,既有豐富的系統(tǒng)描述手段和系統(tǒng)行為分析技術(shù),又為計算機科學(xué)提供堅實的概念基礎(chǔ)。
PWC AT32F402 AT32F405 PIC32CM LS60 ATtiny817 Switchtec? STM32WL55JC STM32WLE5CC 的LoRaWAN_FUOTA
關(guān)注我們的微信
下載發(fā)燒友APP
電子發(fā)燒友觀察
版權(quán)所有 ? 湖南華秋數(shù)字科技有限公司
長沙市望城經(jīng)濟技術(shù)開發(fā)區(qū)航空路6號手機智能終端產(chǎn)業(yè)園2號廠房3層(0731-88081133)