隨機Petri網和系統(tǒng)性能評價

第1章 Petri網的基本概念和術語
 1.1 Petri網研究與發(fā)展簡況
 1.2 Petri網模型介紹
 1.3 網的基礎知識
 1.4 位置/變遷（P/T）系統(tǒng)
 1.5 高級Petri網（HLPN）系統(tǒng)
 1.6 不同級別系統(tǒng)之間的關系與變換
 參考文獻
 第2章 幾種隨機Petri網模型與分析方法
 2.1 隨機時間變遷的實施
 2.2 隨機Petri網（SPN）
 2.3 廣義隨機Petri網（GSPN）
 2.4 隨機回報網（SRN）
 2.5 確定與隨機Petri網（DSPN）
 2.6 隨機Petri網與排隊論
 參考文獻
 第3章 隨機高級Petri網（SHLPN）
 3.1 SHLPN的定義和復合標識概念
 3.2 具有標識變量的SHLPN
 3.3 廣義隨機高級Petri網（GSHLPN）
 3.4 SHLPN的標記流路和S-不變量
 參考文獻
 第4章 隨機Petri網的模型方法
 4.1 模型抽象組織
 4.2 模型精化設計
 參考文獻
 第5章 隨機Petri網的分解和壓縮技術
 5.1 時間數量級分解
 5.2 接近無關的分解
 5.3 響應時間保留壓縮替換
 5.4 流等價壓縮替換
 5.5 層次模型和分層分析
 5.6 乘積形式解
 5.7 非乘積解隨機Petri網的乘積形式近似求解
 5.8 問題和研究方向
 參考文獻
 第6章 隨機Petri網性能界限求解技術
 6.1 循環(huán)SPN性能瓶勁的確定
 6.2 標識圖穩(wěn)定狀態(tài)性能的界限
 6.3 GSPN模型的吞吐量界限
 6.4 隨機Petri網非乘積解系統(tǒng)的判演與界限求解
 參考文獻
 第7章 在通信網絡協議性能評價中的應用
 7.1 網絡協議服務的性能規(guī)定與模型
 7.2 網絡傳輸協議的模型與性能評介
 7.3 CSMA/CD總線局部網協議的性能模型
 參考文獻
 第8章 在ATM網絡模型和性能評價中的應用
 8.1 允許接納控制模型
 8.2 傳輸控制模型
 8.3 動態(tài)優(yōu)先及信元丟棄方案模型
 8.4 實時傳輸調度和信元丟失控制的綜合方案模型
 參考文獻
 第9章 在柔性制造系統(tǒng)性能模型中的應用
 9.1 在設計中的應用
 9.2 在調度控制中的應用
 9.3 在可靠性模型和分析中的應用
 9.4 在緩沖優(yōu)先調度策略穩(wěn)定性分析中的應用
 參考文獻
 第10章 在計算機和軟件系統(tǒng)模型性能評價中的應用
 10.1 多處理機系統(tǒng)的模型與性能分析
 10.2 一種資源共享系統(tǒng)的模型和近似性能分析
 10.3 并行程序的性能模型
 10.4 客戶機-服務器樣式的分布軟件模型與吞吐量計算
 參考文獻
 第11章 在Web服務器集群中的應用
 11.1 可擴展的Web服務器體系結構與負載共享模型
 11.2 SHLPN模型
 11.3 QoS-aware負載均衡策略及其性能評價指標
 11.4 數值結果
 11.5 近似性能分析
 11.6 結論
 參考文獻
 第12章 在工作流中的應用
 12.1 工作流的性能評價研究現狀
 12.2 工作流的四種基本隨機Perti模型及其性能等價公式的證明
 12.3 一個基于隨機Petri網的工作流系統(tǒng)的性能分析實例
 12.4 結論
 參考文獻
 第13章 隨機Petri網分析軟件工具
 13.1 隨機Petri網軟件包
 13.2 確定與隨機Petri網軟件包
 13.3 隨機高級Petri網輔助軟件包
 參考文獻
 附錄A 概率. 隨機包過程和馬爾可夫鏈基礎
 A.1 概率基礎
 A.2 隨機變量
 A.3 隨機過程
 A.4 馬爾可夫鏈
 A.5 在馬爾可夫鏈中的狀態(tài)壓縮
 A.6 半馬爾可夫鏈過程
 參考文獻
 附錄B 詞匯和術語
</font>