随机Petri网和系统性能评价（第2版）
点此进入淘宝搜索页搜索分类: 图书,计算机/网络,网络与数据通信,网络配置与管理,
作者： 林闯著
出 版 社： 清华大学出版社
出版时间： 2005-4-1字数：版次： 2页数： 368印刷时间：开本： 16开印次：纸张：I S B N ： 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.3GSPN模型的吞吐量界限
6.4 随机Petri网非乘积解系统的判定与界限求解
参考文献
第7章在通信网络协议性能评价中的应用
7.1网络协议服务的性能规定与模型
7.2网络传输协议的模型与性能评价
7.3CSMA/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.2SHLPN模型
11.3QoS-aware负载均衡策略及其性能评价指标
11.4数值结果
11.5近似性能分析
……
第12章 在工作流中的应用
第13章 随机Petri网分析软件工具
附录A 概率、随机过程和马尔可夫链基础
附录B 词汇和术语
书摘插图
第5章 随机Petri网的分解和压缩技术
1981年随机Petri（stochastic Petri net，SPN）提出以来，SPN的理论、分析技术和应用已经得到了很大发展。SPN模型的特性日益受到人们的喜爱，但其状态空间爆炸是性能数量分析技术面临的主要问题。随机网理论的不断发展虽然对解决状态空间爆炸总理带来一定的进展，但是不能从根本上解决状态空间随模型增长而指数性增长的问题，因而对复杂和大规模系统模型的分析求解仍然是极大的挑战。
解决随机网状态空间指数性增长的有效方法之一就是采用“分而治之”的策略。分是指模型的分解，从模型的网结构上或状态空间进行分割，将一个模型分割成多个子模型；治是指模型的压缩，将子模型压缩成更简单的模型、模型元素或模型参数。最后求解化简模型的性能参数。在如此的性能分析中，应注意性能参数准确性与计算复杂性的折中。性能参数解的准确性要求越高，求解计算的复杂性就越强，同时对网模型分解、压缩的程度和方法就越少。反之亦然。另一个重要问题是层次分解和压缩，要求能够层次地使用分解和压缩技术，不但要能对整体模型进行分解和压缩，而且要能对子模型进行分解和压缩。根据实际模型的规模和数值求解的精度要求，可以进行多层次的分解和压缩。还要考虑一个问题是在进行模型的分解和压缩中，应保证解的存在，在固定点迭代中应保证解的收敛性。解的存在和解的收敛是模型分解和压缩技术的重要理论问题。能保证解的存在和解的收敛的分解和压缩技术才是有普遍意义的方法和技术。
……
