第1章 引言 1
1.1 研究背景 1
1.2 研究现状 2
1.3 本文工作 8
1.4 章节安排 10
第2章 PETRI网的基本概念 11
第3章 规则网与弱持续网的活性 15
3.1 规则网与弱持续网的定义 15
3.2 规则网的活性 16
3.3 规则网的结构活性 18
3.4 弱持续网的活性 19
3.5 小结 22
第4章 WS3PR的活性 23
4.1 WS3PR的定义 23
4.2 WS3PR的活性 25
4.3 小结 32
第5章 基于关键资源／活动库所对的预防S3PR死锁的策略 33
5.1 关键资源／活动库所对及其覆盖 33
5.2 Ⅰ-型死锁预防策略 35
5.3 Ⅱ-型死锁预防策略 40
5.4 覆盖的求解 42
5.5 应用 43
5.6 小结 48
第6章 基于依赖虹吸可控性判定的死锁预防策略 49
6.1 预防S3PR死锁的E-策略与LZ-策略 49
6.2 改进的可控性判定条件 53
6.3 一个折衷的预防S3PR死锁的策略 58
6.4 应用 59
6.5 小结 64
第7章 基于缓冲区划分的死锁预防策略 65
7.1 具有缓冲区的线性流程网系统 65
7.2 具有缓冲区的线性流程网系统的活性 68
7.3 具有缓冲区的装配网系统 71
7.4 具有缓冲区的装配网系统的活性 73
7.5 应用 74
7.6 小结 78
第8章 基于PETRI网的交互模型分类法 79
8.1 基于PETRI网的交互模型的分类 79
8.2 G-MI-MO-IM的定义 82
8.3 四级兼容性 85
8.4 G-MI-MO-IM的可逆性 87
8.5 小结 90
第9章 MG-MI-SO-IM的性质分析 91
9.1 MG-MI-SO-IM的定义 91
9.2 MG-MI-SO-IM的活性 93
9.3 MG-MI-SO-IM的活且有界性 95
9.4 MG-MI-SO-IM的可达性 97
9.5 MG-MI-SO-IM的兼容性 99
9.6 应用 101
9.7 小结 102
第10章 受限G-MI-MO-IM的性质分析 103
10.1 受限G-MI-MO-IM的定义 103
10.2 受限G-MI-MO-IM的活性 106
10.3 受限G-MI-MO-IM的可达性 107
10.4 应用 112
10.5 小结 114
第11章 总结与展望 115
11.1 本文工作总结 115
11.2 进一步的工作 116
致谢 117
参考文献 119
个人简历、在读期间发表的学术论文与研究成果 129