Petri网导论PDF电子书下载

作者简价 1

第1章　网与网系统 1

1.1　网与子网 1

1.2　标识网与网系统 6

1.3　库所／变迁系统与加权Petri网 9

1.4　基本网系统与条件事件系统 12

1.5　并发与冲突 14

1.5.1　并发 14

1.5.2　冲突 16

1.5.3　一般Petri网中的并发与冲突 18

1.6　系统的Petri网模型 19

思考与练习（1） 23

参考文献（1） 24

第2章　Petri网的动态性质 27

2.1　可达性、可逆性和可覆盖性 27

2.2　有界性和安全性 28

2.3　活性 30

2.4　公平性 34

2.5　持续性 41

思考与练习（2） 42

参考文献（2） 44

第3章　Petri网的分析方法 47

3.1　可达标识图与可覆盖性树 47

3.2　关联矩阵与状态方程 53

3.3　变迁发生序列与Petri网语言 58

3.4　Petri网进程 65

思考与练习（3） 68

参考文献（3） 69

第4章　Petri网的结构性质 73

4.1　结构有界性和守恒性 73

4.2　可重复性和协调性 76

4.3　S－不变量和T－不变量 79

4.4　可重复向量 86

4.5　死锁与陷阱 88

4.6　结构公平性 91

4.7　结构活性和活性单调性 96

思考与练习（4） 99

参考文献（4） 100

第5章　一些Petri网子类的动态性质分析和判定 105

5.1　标识S－图 105

5.2　标识T－图 107

5.3　标识自由选择网 112

5.4　标识加权T－图 121

5.5　含本征二级活变迁的Petri网剖析 128

5.6　可达性等价于状态方程可满足性的Petri网子类 136

5.6.1　活的标识T－图 136

5.6.2　行为等价于活的标识T－图的网系统 139

5.6.3　活的加权T－系统 141

5.7　唯一可达向量网系统与状态方程求解 144

5.7.1　唯一可达向量网系统及其状态方程求解 145

5.7.2　把一般Petri网转化为唯一可达向量网系统 150

思考与练习（5） 152

参考文献（5） 153

第6章　Petri网运算 157

6.1　插入 157

6.1.1　插入控制器 158

6.1.2　插入计数器 160

6.1.3　插入基本元素的补元素 161

6.2　删除 162

6.3　替换 164

6.4　化简 167

6.5　合成 169

6.5.1　共享合成 169

6.5.2　同步合成 172

6.6　分解 173

6.6.1　Petri网的公平分解 174

6.6.2　其他分解运算 177

思考与练习（6） 177

参考文献（6） 179

第7章　高级Petri网 181

7.1　颜色Petri网 181

7.1.1　简单的颜色Petri网 181

7.1.2　颜色Petri网的一般定义 186

7.2　谓词／变迁网系统 188

7.2.1　简单的谓词／变迁网系统 188

7.2.2　谓词／变迁网系统的一般定义 192

思考与练习（7） 193

参考文献（7） 194

第8章　增广Petri网 197

8.1　带抑止弧的Petri网 197

8.2.1　逻辑电路和时序电路的增广Petri模型 201

8.2　系统的增广Petri网模型举例 201

8.2.2　算术运算的增广Petri网模型 205

8.3　其他类型的增广Petri网 209

8.3.1　带约束集的Petri网 209

8.3.2　含异或变迁的Petri网 210

8.3.3　变迁含优先数的Petri网 211

思考与练习（8） 212

参考文献（8） 212

第9章　含时间因素的Petri网 215

9.1　时间Petri网 215

9.2　时延Petri网 217

9.3　求解肯定型工程问题的时延Petri网方法 220

9.3.1　肯定型工程问题的Petri网模型 220

9.3.2　根据网系统模型对肯定型工程问题进行分析 222

9.4　求解非肯定型工程问题的时间Petri网方法 227

9.5　任务调度问题的时延Petri网方法 232

9.6　多媒体系统中媒体流间同步合成的时间Petri网分析方法 238

9.6.1　作为媒体流间同步模型的时间Petri网 239

9.6.2　作为媒体流的时间Petri网的同步合成 240

9.6.3　同步变迁的同步层次判定 242

9.7　随机Petri网 247

思考与练习（9） 249

参考文献（9） 249

第10章　其他Petri网变形模型简介 251

10.1　受控Petri网 251

10.2　自控网系统 255

10.3　时序Petri网 257

10.4　连续Petri网 260

10.5　模糊Petri网 264

思考与练习（10） 266

参考文献（10） 266

11.1　并发结构的基本定义 269

第11章　并发论 269

11.2　并发结构的最简性 272

11.3　并发结构的相干性和自然非序 274

11.4　并发结构的稠密性 276

11.5　并发结构的拓扑学性质 278

11.6　并发结构上的连续性质 280

参考文献（11） 283

12.1　同步距离概念的实际背景 285

第12章　同步距离 285

12.2　Petri网中的同步距离定义 287

12.3　对同步距离定义进一步修改的建议 291

12.4　某些Petri网子类中的同步距离计算 295

12.4.1　标识S－图中的同步距离计算 295

12.4.2　标识T－图中的同步距离计算 297

参考文献（12） 300

记号注释 303

索引 309