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

第一章 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)系與變換
第二章 幾種隨機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)與排隊論
第三章 隨機高級Petfi網(wǎng)（SHLPN）
3．1 SHLPN的定義和復(fù)合標(biāo)識概念
3．2 具有標(biāo)識變量的SHLPN
3． 3 廣義隨機高級Petri網(wǎng)（GSHLPN）
3．4 SHLPN的標(biāo)記流路和S-不變量
第四章 隨機Petri網(wǎng)的模型方法
4．1 模型抽象組織
4．2 模型精化設(shè)計
第五章 隨機Peter網(wǎng)的分解和壓縮技術(shù)
5．1 時間數(shù)量級分解
5．2 接近無關(guān)的分解
5．3 響應(yīng)時間保留壓縮替換
5．4 流等價壓縮替換
5．5 層次模型和分層分析
5．6 乘積形式解
5. 7 問題和研究方向
第六章 隨機Petri網(wǎng)性能界限求解技術(shù)
6．1 循環(huán)SPN性能瓶頸的確定
6. 2 標(biāo)識圖穩(wěn)定狀態(tài)性能的界限
6．3 GSPN模型的吞吐量界限
第七章 在通信網(wǎng)絡(luò)協(xié)議性能評價中的應(yīng)用
7．1 網(wǎng)絡(luò)協(xié)議服務(wù)的性能規(guī)定與模型
7．2 網(wǎng)絡(luò)傳輸協(xié)議的模型與性能評價
7．3 CSMA／CD總線局部網(wǎng)協(xié)議的性能模型
第八章 在ATM網(wǎng)絡(luò)模型和性能評價中的應(yīng)用
8. 1 允許接納控制模型
8．2 傳輸控制模型
8. 3 動態(tài)優(yōu)先級信元丟棄方案模型
8．4 實時傳輸調(diào)度和信元丟失控制的綜合方案模型
第九章 在柔性制造系統(tǒng)性能模型中的應(yīng)用
9．1 在設(shè)計中的應(yīng)用
9．2 在調(diào)度控制中的應(yīng)用
9．3 在可靠性模型和分析中的應(yīng)用
9．4 在緩沖優(yōu)先調(diào)度策略穩(wěn)定性分析中的應(yīng)用
第十章 在計算機和軟件系統(tǒng)模型和性能評價中的應(yīng)用
10．1 多處理機系統(tǒng)的模型與性能分析
10．2 一種資源共享系統(tǒng)的模型和近似性能分析
10．3 并行程序的性能模型
10. 4 客戶機/服務(wù)器樣式的分布軟件模型與吞吐量計算
第十一章 隨機Petri網(wǎng)分析軟件工具
11．1 隨機Petri網(wǎng)軟件包
11．2 確定與隨機Petri網(wǎng)軟件包
11．3 隨機高級Petri網(wǎng)輔助軟件包
附錄 A 概率、隨機過程和馬爾可夫鏈基礎(chǔ)
A．1 概率基礎(chǔ)
A．2 隨機變量
A．3 隨機過程
A．4 馬爾可夫鏈
A．5 在馬爾可夫鏈中的狀態(tài)壓縮
A．6 半馬爾可夫鏈過程
附錄 B 詞匯和術(shù)語