随机Petri网和系统性能评价 第2版PDF电子书下载

目录 1

第1章　Petri网的基本概念和术语 1

1.1 Petri网研究与发展简况 1

1.2 Petri网模型介绍 2

1.3 网的基础知识 6

1.4 位置／变迁（P/T）系统 7

5.6　乘积形式解 11 9

1.5 高级Petri网（HLPN）系统 11

1.6 不同级别系统之间的关系与变换 13

参考文献 14

第2章 几种随机Petri网模型与分析方法 19

2.1　随机时间变迁的实施 20

2.2　随机Petri网（SPN） 23

2.3 广义随机Petri网（GSPN） 28

2.4　随机回报网（SRN） 35

2.5　确定与随机Petri网（DSPN） 36

2.6　随机Petri网与排队论 40

参考文献 42

第3章 随机高级Petri网（SHLPN） 45

3.1 SHLPN的定义和复合标识概念 45

3.2　具有标识变量的SHLPN 51

3.3 广义随机高级Petri网（GSHLPN） 56

3.4　SHLPN的标记流路和S-不变量 62

参考文献 69

4.1　模型抽象组织 71

第4章　随机Petri网的模型方法 71

4.2　模型精化设计 85

参考文献 92

第5章 随机Petri网的分解和压缩技术 93

5.1　时间数量级分解 93

5.2　接近无关的分解 97

5.3　响应时间保留压缩替换 103

5.4　流等价压缩替换 110

5.5　层次模型和分层分析 111

5.7　非乘积解随机Petri网的乘积形式近似求解 125

5.8　问题和研究方向 136

参考文献 137

第6章　随机Petri网性能界限求解技术 139

6.1　循环SPN性能瓶颈的确定 139

6.2　标识图稳定状态性能的界限 141

6.3　GSPN模型的吞吐量界限 143

6.4　随机Petri网非乘积解系统的判定与界限求解 148

参考文献 159

第7章　在通信网络协议性能评价中的应用 161

7.1 网络协议服务的性能规定与模型 161

7.2　网络传输协议的模型与性能评价 165

7.3　CSMA/CD总线局部网协议的性能模型 170

参考文献 176

第8章　在ATM网络模型和性能评价中的应用 177

8.1　允许接纳控制模型 180

8.2　传输控制模型 184

8.3　动态优先级信元丢弃方案模型 189

8.4　实时传输调度和信元丢失控制的综合方案模型 196

参考文献 207

第9章　在柔性制造系统性能模型中的应用 209

9.1　在设计中的应用 210

9.2　在调度控制中的应用 213

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

9.4　在缓冲优先调度策略稳定性分析中的应用 222

参考文献 231

第10章　在计算机和软件系统模型性能评价中的应用 233

10.1 多处理机系统的模型与性能分析 233

10.2　一种资源共享系统的模型和近似性能分析 240

10.3　并行程序的性能模型 245

10.4　客户机-服务器样式的分布软件模型与吞吐量计算 255

参考文献 265

第11章　在Web服务器集群中的应用 267

11.1　可扩展的Web服务器体系结构与负载共享模型 267

11.2 SHLPN模型 271

11.3　QoS-aware负载均衡策略及其性能评价指标 274

11.4　数值结果 277

11.5　近似性能分析 285

11.6　结论 291

参考文献 292

第12章　在工作流中的应用 293

12.1 工作流的性能评价研究现状 293

12.2 工作流的四种基本随机Petri模型及其性能等价公式的证明 293

12.3　一个基于随机Petri网的工作流系统的性能分析实例 298

12.4　结论 301

参考文献 301

第13章　随机Petri网分析软件工具 303

13.1　随机Petri网软件包 303

13.2　确定与随机Petri网软件包 323

13.3　随机高级Petri网辅助软件包 329

参考文献 337

附录A　概率、随机过程和马尔可夫链基础 339

A.1　概率基础 339

A.2　随机变量 342

A.3　随机过程 346

A.4　马尔可夫链 348

A.5　在马尔可夫链中的状态压缩 358

A.6 半马尔可夫链过程 360

参考文献 362

附录B　词汇和术语 363