PETRI网理论与系统模拟pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

PETRI网理论与系统模拟PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章导言 1

1.1模拟 1

1.2系统的特性 2

目录 3

序言 3

1.3 Petri网的早期发展 3

1.4 Petri网理论的应用 4

1.5应用Petri网理论与纯Petri网理论 5

1.6进一步阅读 6

1.7进一步研究的课题 7

第二章基本定义 8

2.1 Petri网结构 8

2.2 Petri网图 11

2.3 Petri网的标识 17

2.4 Petri网的运行法则 20

2.5 Petri网状态空间 26

2.6其他形式的Petri网定义 30

2.8进一步研究的课题 33

2.7进一步阅读 33

第三章用Petri网进行模拟 35

3.1事件和条件 35

3.2并发和冲突 39

3.3计算机硬件 45

3.4计算机软件 60

3.5其他系统 75

3.6 进一步阅读 83

3.7进一步研究的课题 84

第四章Petri网分析 85

4.1关于Petri网分析的问题 85

4.2分析技术 97

4.2.1可达性树 114

4.2.2矩阵方程 120

4.3进一步阅读 120

4.4进一步研究的课题 123

第五章复杂度和可决定性 123

5.2可达性问题 128

5.1分析问题之间的可约性 128

5.3加限制条件的Petri网结构 132

5.4活性与可达性 136

5.5不可决定的结果 142

5.6可达性问题的复杂度 155

5.7进一步阅读 159

5.8进一步研究的课题 160

6.1动机 162

第六章Petri网语言 162

6.2有关形式语言理论的概念 164

6.3 Petri网语言的定义 166

6.4Petri网语言的性质 173

6.5封闭性质 178

6.6 Petri网语言与其他语言类 191

6.7一些补充结果 199

6.8进一步阅读 201

6.9进一步研究的课题 201

第七章扩充的和加限制条件的Petri网模型 203

7.1 Petri网模型的局限性 204

7.2扩充 210

7.3增广Petri网与寄存器机 215

7.4 Petri网子类 218

7.5进一步阅读 222

7.6进一步研究的课题 224

第八章平行计算的有关模型 225

8.2标识图 228

8.3计算图 228

8.1有限状态机 228

8.4 P/V系统 231

8.5信息传输系统 234

8.6 UCLA图 241

8.7向量加法与置换系统 245

8.8增广Petri网模型 249

8.9进一步阅读 249

8.10进一步研究的课题 250

附录 袋论简述 251

加注释的参考文献目录 255