日B视频 亚洲,啪啪啪网站一区二区,91色情精品久久,日日噜狠狠色综合久,超碰人妻少妇97在线,999青青视频,亚洲一区二卡,让本一区二区视频,日韩网站推荐

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ǔ)。