《PETRI网理论与系统模拟》求取 ⇩

第一章导言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