图书介绍
Petri网导论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载
- 吴哲辉著 著
- 出版社： 北京：机械工业出版社
- ISBN：7111182782
- 出版时间：2006
- 标注页数：312页
- 文件大小：13MB
- 文件页数：322页
- 主题词：计算机网络－高等学校－教材
PDF下载
下载说明
Petri网导论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
作者简价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