隨機Petri網和系統性能評價（第2版）

《隨機Petri網和系統性能評價（第2版）》是2005年4月清華大學出版社出版的圖書，作者是林闖。

基本介紹

• 書名：隨機Petri網和系統性能評價（第2版）
• 作者：林闖
• 出版社：清華大學出版社
• 出版時間：2005年4月
• 定價：58.00 元
• 開本：16 開
• 裝幀：平裝
• ISBN：9787302106517

內容簡介

本書是*Petri網理論和技術方面的專著，主要內容包括：各種*Petri網理論和分析技術；*Petri網的模型方法、模型的分解和壓縮技術以及性能界限求解技術；*Petri網在通信協定、ATM網路、柔性製造系統、計算機系統和軟體系統性能評價、工作流中的套用；*Petri網軟體工具。本書內容基本上是自包含的，內容新穎，容易理解，便於套用。主要讀者對象是計算機、自動控制等相關專業的大學高年級學生、研究生、工程技術和科研人員。

圖書目錄

第1章 Petri網的基本概念和術語

1.1 Petri網研究與發展簡況

1.2 Petri 網模型介紹

1.3 網的基礎知識

1.4 位置/變遷（P/T）系統

1.5 高級Petri網（HLPN）系統

1.6 不同級別系統之間的關係與變換

參考文獻

第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　循環SPN性能瓶頸的確定

6.2　標識圖穩定狀態性能的界限

6.3　GSPN模型的吞吐量界限

6.4 隨機Petri網非乘積解系統的判定與界限求解

參考文獻

第7章　在通信網路協定性能評價中的套用

7.1　網路協定服務的性能規定與模型

7.2　網路傳輸協定的模型與性能評價

7.3　CSMA/CD匯流排局部網協定的性能模型

參考文獻

第8章　在ATM網路模型和性能評價中的套用

8.1　允許接納控制模型

8.2　傳輸控制模型

8.3　動態優先權信元丟棄方案模型

8.4 實時傳輸調度和信元丟失控制的綜合方案模型

參考文獻

第9章　在柔性製造系統性能模型中的套用

9.1　在設計中的套用

9.2　在調度控制中的套用

9.3　在可靠性模型和分析中的套用

9.4　在緩衝優先調度策略穩定性分析中的套用

參考文獻

第10章　在計算機和軟體系統模型性能評價中的套用

10.1　多處理機系統的模型與性能分析

10.2　一種資源共享系統的模型和近似性能分析

10.3　並行程式的性能模型

10.4　客戶機一伺服器樣式的分布軟體模型與吞吐量計算

參考文獻

第11章　在Web伺服器集群中的套用

11.1 可擴展的Web伺服器體系結構與負載共享模型

11.2　SHLPN模型

11.3　QoS-aware負載均衡策略及其性能評價指標

11.4　數值結果

11.5　近似性能分析

……

第12章 在工作流中的套用

第13章 隨機Petri網分析軟體工具

附錄A 機率、隨機過程和馬爾可夫鏈基礎

附錄B 辭彙和術語