相關詞條
-
Petri網
Petri網是對離散並行系統的數學表示。Petri網是20世紀60年代由卡爾·A·佩特里發明的,適合於描述異步的、並發的計算機系統模型。 Petri網既...
簡介 背景 經典模型 定義 流程 -
隨機Petri網
Petri網的概念源於1962年C. A. Petri 的博士論文《用自動機通信》,適合於描述異步的、並發的計算機系統模型。 Petri網既有嚴格的數學...
-
Petri網原理與套用
《Petri網原理與套用》是2005年3月電子工業出版社出版的圖書。作者是袁崇義。
內容簡介 目錄 -
系統工程Petri網
內容介紹越來越大、越來越複雜的系統,使得套用在硬體和軟體的規範與驗證中的形式化方法越來越重要。 本書的內容涵蓋了一個系統在設計和實現的整個生命周期中的幾...
內容介紹 -
petri net
Petri Net(PN) 是對離散並行系統的數學表示。Petri網是1962年由卡爾·A·佩特里發明的,適合於描述異步的、並發的計算機系統模型。Pet...
基本介紹 結構元素 行為 流程建模 -
Petri網路
Petri網是Carl Adam Petri於1962年在博士論文中首次提出來的。作為描述系統元素的異步並發操作的工作模型,Petri網在計算機等許多領...
歷史 概念 -
語用網
語用網,電子計算機問世到現在僅僅60年,就已經全面進入並徹底改變了我們的社會生活:從智慧卡、手機、PC機到網際網路,但是仍然遠不能滿足人們對於計算的爆炸式...
語用網系統體系結構 語用網系統內容及其影響 語用網與其它格線項目的比較 -
基於隨機博弈模型的網路安全分析與評價
基於排隊模型的網路安全分析 基於博弈模型的網路安全分析 基於隨機博弈網模型的網路安全分析
圖書信息 內容簡介 目錄 -
樂曉波
.面向對象的Petri網建模技術的研究[J].計算機工程,2002,28...):51-55 [9]樂曉波等. 基於Petri網的動態建模技術的研究...]葛敬軍(研究生),樂曉波等.基於Petri網模型的FMS死鎖結構[J...
簡介 工作簡歷 主要教學活動 學科建設 發表論文 -
網路服務可生存性的模型:評價方法與管理策略
1.2.1格線服務的基本概念 1.2.2格線服務的特徵- 2.1格線服務的可生存性
圖書信息 內容簡介 目錄