目录 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