随机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网与排队论

第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 词汇和术语

本书是随机Petri网理论和技术方面的专著，主要内容包括：各种随机Petri网理论和分析技术；随机Petri网的模型方法、模型的分解和压缩技术以及性能界限求解技术；随机Petri网在通信协议、ATM网络、柔性制造系统、计算机系统和软件系统性能评价、工作流中的应用；随机Petri网软件工具。本书内容基本上是自包含的，内容新颖，容易理解，便于应用。主要读者对象是计算机、自动控制等相关专业的大学高年级学生、研究生、工程技术和科研人员。