随机PETRI网和系统性能评价

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

暂缺《随机PETRI网和系统性能评价》作者简介

第一章 Petri网的基本概念和术语
1. 1 Petri网研究与发展简况
1. 2 Petri网模型介绍
1．3 网的基础知识
1．4 位置/变迁（P/T）系统
1．5 高级Petri网（HLPN）系统
1．6 不同级别系统之间的关系与变换
第二章 几种随机Petri网模型与分析方法
2．1 随机时间变迁的实施
2．2 随机Petri网（SPN）
2．3 广义随机 Petri网（GSPN）
2．4 随机回报网（SRN）
2．5 确定与随机Petri网（DSPN）
2 6 随机Petri网与排队论
第三章 随机高级Petfi网（SHLPN）
3．1 SHLPN的定义和复合标识概念
3．2 具有标识变量的SHLPN
3． 3 广义随机高级Petri网（GSHLPN）
3．4 SHLPN的标记流路和S-不变量
第四章 随机Petri网的模型方法
4．1 模型抽象组织
4．2 模型精化设计
第五章 随机Peter网的分解和压缩技术
5．1 时间数量级分解
5．2 接近无关的分解
5．3 响应时间保留压缩替换
5．4 流等价压缩替换
5．5 层次模型和分层分析
5．6 乘积形式解
5. 7 问题和研究方向
第六章 随机Petri网性能界限求解技术
6．1 循环SPN性能瓶颈的确定
6. 2 标识图稳定状态性能的界限
6．3 GSPN模型的吞吐量界限
第七章 在通信网络协议性能评价中的应用
7．1 网络协议服务的性能规定与模型
7．2 网络传输协议的模型与性能评价
7．3 CSMA／CD总线局部网协议的性能模型
第八章 在ATM网络模型和性能评价中的应用
8. 1 允许接纳控制模型
8．2 传输控制模型
8. 3 动态优先级信元丢弃方案模型
8．4 实时传输调度和信元丢失控制的综合方案模型
第九章 在柔性制造系统性能模型中的应用
9．1 在设计中的应用
9．2 在调度控制中的应用
9．3 在可靠性模型和分析中的应用
9．4 在缓冲优先调度策略稳定性分析中的应用
第十章 在计算机和软件系统模型和性能评价中的应用
10．1 多处理机系统的模型与性能分析
10．2 一种资源共享系统的模型和近似性能分析
10．3 并行程序的性能模型
10. 4 客户机/服务器样式的分布软件模型与吞吐量计算
第十一章 随机Petri网分析软件工具
11．1 随机Petri网软件包
11．2 确定与随机Petri网软件包
11．3 随机高级Petri网辅助软件包
附录 A 概率、随机过程和马尔可夫链基础
A．1 概率基础
A．2 随机变量
A．3 随机过程
A．4 马尔可夫链
A．5 在马尔可夫链中的状态压缩
A．6 半马尔可夫链过程
附录 B 词汇和术语