PETRI网导论

本书是作者在从事Petri网理论课程教学的基础上撰写而成，主要介绍Petri网的基本原理和基本分析方法，以及这些原理和方法在对实际系统进行建模和分析中的应用，同时也包含了一部分作者自己的研究成果。主要内容包括：Petri网的基本概念、基本性质和基本分析方法，各种常见的Petri网的变型模型，通用网论中并发论和同步论的基本内容等。     本书可作为高等院校计算机专业、自动化专业的研究生或高年级本科生教材，也可供相关技术人员参考。

前言 作者简价 第1章 网与网系统   1.1 网与子网   1.2 标识网与网系统   1.3 库所/变迁系统与加权Petri 网   1.4 基本网系统与条件事件系统   1.5 并发与冲突     1.5.1 并发     1.5.2 冲突     1.5.3 一般Petri网中的并发与冲突   1.6 系统的Petri网模型   思考与练习(1)   参考文献(1) 第2章 Petri网的动态性质   2.1 可达性、可逆性和可覆盖性   2.2 有界性和安全性   2.3 活性   2.4 公平性   2.5 持续性   思考与练习(2)   参考文献(2) 第3章 Petri网的分析方法   3.1 可达标识图与可覆盖性树   3.2 关联矩阵与状态方程   3.3 变迁发生序列与Petri网语言   3.4 Petri网进程   思考与练习(3)   参考文献(3) 第4章 Petri网的结构性质   4.1 结构有界性和守恒性   4.2 可重复性和协调性   4.3 S-不变量和T-不变量   4.4 可重复向量   4.5 死锁与陷阱   4.6 结构公平性   4.7 结构活性和活性单调性   思考与练习(4)   参考文献(4) 第5章 一些Petri网子类的动态性质分析和判定   5.1 标识S-图   5.2 标识T-图   5.3 标识自由选择网   5.4 标识加权T-图   5.5 含本征二级活变迁的Petri网剖析   5.6 可达性等价于状态方程可满足性的Petri网子类     5.6.1 活的标识T-图     5.6.2 行为等价于活的标识T-图的网系统     5.6.3 活的加权T-系统   5.7 唯一可达向量网系统与状态方程求解     5.7.1 唯一可达向量网系统及其状态方程求解     5.7.2 把一般Petri 网转化为唯一可达向量网系统   思考与练习(5)   参考文献(5) 第6章 Petri网运算   6.1 插入     6.1.1 插入控制器     6.1.2 插入计数器     6.1.3 插入基本元素的补元素   6.2 删除   6.3 替换   6.4 化简   6.5 合成     6.5.1 共享合成     6.5.2 同步合成   6.6 分解     6.6.1 Petri网的公平分解     6.6.2 其他分解运算   思考与练习(6)   参考文献(6) 第7章 高级Petri网   7.1 颜色Petri网     7.1.1 简单的颜色Petri网     7.1.2 颜色Petri网的一般定义   7.2 谓词/变迁网系统     7.2.1 简单的谓词/变迁网系统     7.2.2 谓词/变迁网系统的一般定义   思考与练习(7)   参考文献(7) 第8章 增广Petri网   8.1 带抑止弧的Petri网   8.2 系统的增广Petri网模型举例     8.2.1 逻辑电路和时序电路的增广Petri模型     8.2.2 算术运算的增广Petri网模型   8.3 其他类型的增广Petri网     8.3.1 带约束集的Petri网     8.3.2 含异或变迁的Petri网     8.3.3 变迁含优先数的Petri网   思考与练习(8)   参考文献(8) 第9章 含时间因素的Petri网   9.1 时间Petri网   9.2 时延Petri网   9.3 求解肯定型工程问题的时延Petri网方法     9.3.1 肯定型工程问题的Petri网模型     9.3.2 根据网系统模型对肯定型工程问题进行分析   9.4 求解非肯定型工程问题的时间Petri 网方法   9.5 任务调度问题的时延Petri网方法   9.6 多媒体系统中媒体流间同步合成的时间Petri网分析方法     9.6.1 作为媒体流间同步模型的时间Petri网     9.6.2 作为媒体流的时间Petri 网的同步合成     9.6.3 同步变迁的同步层次判定   9.7 随机Petri网   思考与练习(9)   参考文献(9) 第10章 其他Petri网变形模型简介   10.1 受控Petri网   10.2 自控网系统   10.3 时序Petri网   10.4 连续Petri网   10.5 模糊Petri网   思考与练习(10)   参考文献(10) 第11章 并发论   11.1 并发结构的基本定义   11.2 并发结构的最简性   11.3 并发结构的相干性和自然非序   11.4 并发结构的稠密性   11.5 并发结构的拓扑学性质   11.6 并发结构上的连续性质   参考文献(11) 第12章 同步距离   12.1 同步距离概念的实际背景   12.2 Petri网中的同步距离定义   12.3 对同步距离定义进一步修改的建议   12.4 某些Petri网子类中的同步距离计算     12.4.1 标识S-图中的同步距离计算     12.4.2 标识T-图中的同步距离计算   参考文献(12)   记号注释 索引