Petri网导论

内容简介

　　Petri网是什么？它是分布式系统的建模和分析工具。它特别便于描述系统中进程或部件的顺序、并发、冲突以及同步等关系。作为一种系统模型，Petri网不仅可以刻画系统的结构，而且可以描述系统的动态行为（如系统的状态变化等）。Petri网既有直观的图形表示，又可以引入许多数学方法对其性质进行分析。对于复杂的系统，Petri网可以对其进行分层描述，逐步求精，便于同面向对象的思想方法相沟通。　本书是作者在从事Petri网理论课程教学的基础上撰写而成，主要介绍Petri网的基本原理和基本分析方法，以及这些原理和方法在对实际系统进行建模和分析中的应用，同时也包含了一部分作者自己的研究成果。主要内容包括：Petri网的基本概念、基本性质和基本分析方法，各种常见的Petri网的变型模型，通用网论中并发论和同步论的基本内容等。本书可作为高等院校计算机专业、自动化专业的研究生或高年级本科生教材，也可供相关技术人员参考。

作者简介

　　吴哲辉，1941年3月生于广东省连州市，1965年毕业于中山大学数学力学系。1981年1983年在美国芝加哥伊利诺伊大学作访问学者，学习计算机科学理论，从那时起开始从事Petri网理论及应用的研究工作。现任山东科技大学教授、博士生导师，中国计算机学会Petri网专委会主任。从1987年开始，他主持承担过关于Petri网理论和应用研究的6项国家自然科学基金项目，在《中国科学》、《科学通报》、《计算机学报》、《软件学报》、《Journal of The Franklin Institute》、《International Journal of Mathematics and Computer Science》等国仙外学术刊物发表学术论文100余篇，获得过原国家教委、煤炭部和山东省的4项省部级科技奖。先后被评为国家级有突出贡献的中青年专家、山东省专业技术拔尖人才、全国模范教师等。

图书目录

前言
作者简价
第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)
　记号注释
索引