《佩特里网》

第一部分入 门1

第一章例子1

1.1四季系统∑11

1.2生产流水线3

1.3救火队伍6

1.4网系统∑48

第二章基本定义11

2.1 网11

2.2网系统15

2.3网系统分类18

第二部分网系统介绍29

第三章基本网系统29

3.1定义及变迁规则29

3.2事件间的基本关系35

3.3 S-补和T-补41

第四章库所／变迁系统47

4.1可到达标识集47

4.2变迁序列59

4.3进程62

4.4不变量70

第五章 谓词／变迁系统和有色网系统75

5.1谓词／变迁系统的定义75

5.2谓词／变迁系统的行为85

5.3有色网系统93

第三部分通用网论108

第六章条件／事件系统108

6.1定义108

6.2公理和基本现象113

6.3 S-完备化与T-完备化116

第七章同步论119

7.1同步距离119

7.2同步距离与系统行为125

7.3同步距离的计算131

7.4同步距离的应用141

第八章赋逻辑论147

8.1赋逻辑结构147

8.2网与命题逻辑157

8.3网与一阶谓词逻辑174

8.4网与程式逻辑及职责逻辑180

8.5网与时态逻辑182

第九章网拓扑188

9.1传统拓扑188

9.2网拓扑的定义190

9.3网射192

9.4范畴199

第十章并发论205

第十一章信息流结构217

11.1信息流图217

11.2信息流图的网表示222

第十二章应用228

12.1选题228

12.2系统设计与分析230

12.3知识表示233

附录佩特里网论的符号和术语235

文献269