第一章 Petri网的基本概念和术语 1
1.1 Petri网研究与发展简况 1
1.2 Petri网模型介绍 2
1.3 网的基础知识 6
1.4 位置/变迁(P/T)系统 7
1.5 高级Petri网(HLPN)系统 11
1.6 不同级别系统之间的关系与变换 13
第二章 几种随机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
3.1 SHLPN的定义和复合标识概念 45
第三章 随机高级Petri网(SHLPN) 45
3.2 具有标识变量的SHLPN 51
3.3 广义随机高级Petri网(GSHLPN) 56
3.4 SHLPN的标记流路和S-不变量 62
第四章 随机Petri网的模型方法 71
4.1 模型抽象组织 71
4.2 模型精化设计 85
5.1 时间数量级分解 93
第五章 随机Petri网的分解和压缩技术 93
5.2 接近无关的分解 97
5.3 响应时间保留压缩替换 103
5.4 流等价压缩替换 110
5.5 层次模型和分层分析 111
5.6 乘积形式解 119
5.7 问题和研究方向 124
第六章 随机Petri网性能界限求解技术 127
6.1 循环SPN性能瓶颈的确定 127
6.2 标识图稳定状态性能的界限 129
6.3 GSPN模型的吞吐量界限 131
第七章 在通信网络协议性能评价中的应用 137
7.1 网络协议服务的性能规定与模型 137
7.2 网络传输协议的模型与性能评价 141
7.3 CSMA/CD总线局部网协议的性能模型 146
第八章 在ATM网络模型和性能评价中的应用 153
8.1 允许接纳控制模型 156
8.2 传输控制模型 160
8.3 动态优先级信元丢弃方案模型 165
8.4 实时传输调度和信元丢失控制的综合方案模型 172
第九章 在柔性制造系统性能模型中的应用 185
9.1 在设计中的应用 186
9.2 在调度控制中的应用 189
9.3 在可靠性模型和分析中的应用 195
9.4 在缓冲优先调度策略稳定性分析中的应用 198
10.1 多处理机系统的模型与性能分析 209
第十章 在计算机和软件系统模型和性能评价中的应用 209
10.2 一种资源共享系统的模型和近似性能分析 216
10.3 并行程序的性能模型 221
10.4 客户机-服务器样式的分布软件模型与吞吐量计算 231
第十一章 随机Petri网分析软件工具 243
11.1 随机Petri网软件包 243
11.2 确定与随机Petri网软件包 262
11.3 随机高级Petri网辅助软件包 269
附录A 概率、随机过程和马尔可夫链基础 279
A.1 概率基础 279
A.2 随机变量 282
A.3 随机过程 286
A.4 马尔可夫链 288
A.5 在马尔可夫链中的状态压缩 298
A.6 半马尔可夫链过程 300
附录B 词汇和术语 303