Petri网活性与应用/同济博士论丛

总序
论丛前言
前言

第1章 引言
1．1 研究背景
1．2 研究现状
1．3 本书工作
1．4 章节安排

第2章 Petri网的基本概念

第3章 规则网与弱持续网的活性
3．1 规则网与弱持续网的定义
3．2 规则网的活性
3．3 规则网的结构活性
3．4 弱持续网的活性
3．5 小结

第4章 加权的具有资源的简单顺序流程系统（WS3PR）的活性
4．1 WS3PR的定义
4．2 WS3PR的活性
4．3 小结

第5章 基于关键资源／活动库所对的预防S3PR死锁的策略
5．1 关键资源／活动库所对及其覆盖
5．2 I-型死锁预防策略
5．3 II-型死锁预防策略
5．4 覆盖的求解
5．5 应用
5．6 小结

第6章 基于依赖虹吸可控性判定的死锁预防策略
6．1 预防S3PR死锁的E-策略与LZ-策略
6．2 改进的可控性判定条件
6．3 一个折中的预防S3PR死锁的策略
6．4 应用
6．5 小结

第7章 基于缓冲区划分的死锁预防策略
7．1 具有缓冲区的线性流程网系统
7．2 具有缓冲区的线性流程网系统的活性
7．3 具有缓冲区的装配网系统
7．4 具有缓冲区的装配网系统的活性
7．5 应用
7．6 小结

第8章 基于Petri网的交互模型分类法
8．1 基于Petri网的交互模型的分类
8．2 G-MI-MO-IM的定义
8．3 四级兼容性
8．4 G-MI-MO-IM的可逆性
8．5 小结

第9章 MG-MI-SO-IM的性质分析
9．1 MG-MI-SO-IM的定义
9．2 MG-MI-SO-IM的活性
9．3 MG-MI-SO-IM的活且有界性
9．4 MG-MI-SO-IM的可达性
9．5 MG-MI-SO-IM的兼容性
9．6 应用
9．7 小结

第10章 受限G-MI-Mo一IM的性质分析
10．1 受限G-MI-MO-IM的定义
10．2 受限G-MI-MO-IM的活性
10．3 受限G-MI-MO-IM的可达性
10．4 应用
10．5 小结

第11章 总结与展望
11．1 本书工作总结
参考文献
后记