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

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