1.1 引言 1
1.2 Petri网研究现状 1
第1章 绪论 1
1.2.1 Petri网理论研究 2
1.2.2 Petri网应用研究 6
1.2.3 Petri网工具研制 7
1.3 CSP与CCS 8
1.4 迹语言与偏序语言 9
1.5 PN机 10
1.6 内容安排 11
参考文献 12
2.1 Petri网基本概念 19
第2章 基本知识 19
2.2 Petri网基本分析技术 21
2.3 Petri网基本性质 24
2.4 Petri网的进程 25
2.5 Petri网的合成 26
参考文献 27
第3章 Petri网的顺序行为关系 29
3.1 引言 29
3.2 基于Petri网语言的活性刻划 29
3.3 活性控制 33
3.4 连接操作的语言关系 38
3.5 连接操作的行为不变性 46
3.6 应用 47
3.7 本章小结 49
参考文献 50
第4章 Petri网的偏序行为关系 52
4.1 引言 52
4.2 同步合成PN的进程语言公式 52
4.3 Petri网的进程语义性质 58
4.4 本章小结 63
参考文献 63
5.1 引言 65
5.2 动态不变性 65
第5章 Petri网的动态不变性 65
5.3 一个柔性装配单元的分析 71
5.4 本章小结 74
参考文献 74
第6章 Petri网的行为相关性 78
6.1 引言 78
6.2 行为相关性 79
6.3 行为相关性分析 85
6.4 应用 88
6.5 本章小结 91
参考文献 91
7.2 发射序列测试 94
7.1 引言 94
第7章 Petri网顺序序列的测试与判定 94
7.3 合法发射序列的判定 97
7.3.1 算法基础 97
7.3.2 判定算法 101
7.3.3 算法复杂性 102
7.3.4 例子 103
7.4 测试算法及其复杂性 105
7.5 一个实际系统的分析 108
7.6 本章小结 115
参考文献 115
8.2 控制器综合算法 118
8.1 引言 118
第8章 并发控制器设计的Petri网方法 118
8.3 三类异常现象的处理 120
8.3.1 死锁现象 120
8.3.2 溢出现象 122
8.3.3 行为异变现象 123
8.4 本章小结 124
参考文献 124
第9章 并发程序验证Petri网方法 125
9.1 引言 125
9.2 同步合成运算的概念及性质 126
9.3 Ada程序的Petri网模型 128
9.4 Ada网的同步合成运算及其可达图求解 132
9.5.1 Ada程序的安全性 137
9.5 基于Petri网语言的Ada程序分析 137
9.5.2 活性 139
9.6 PVM程序的Petri网模型 140
9.7 PVM程序到Petri网模型的转换 142
9.8 PVM程序验证算法 146
9.9 举例说明 151
9.10 本章小结 153
参考文献 153
第10章 并发验证系统的原理与实现 157
10.1 引言 157
10.2.1 SFC简介 158
10.2 SFC与Petri网的对应关系 158
10.2.2 SFC与Petri网的对应关系 159
10.3 系统模型及主要算法 159
10.3.1 SFC到Petri的自动转化 159
10.3.2 验证算法 161
10.4 系统开发环境及实验情况 161
10.5 系统实现的若干关键技术 165
10.5.1 安全Petri网及其可视化运行的图形表示 165
10.5.2 可视化运行的设计 167
10.5.3 系统中操作向导的设计与实现 169
参考文献 176