图书介绍

佩特里网【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

袁崇义著著
出版社：南京：东南大学出版社
ISBN：7810232673
出版时间：1989
标注页数：272页
文件大小：8MB
文件页数：293页
主题词：信息系统-数学模型

PDF下载

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

点击复制MD5值：e301b10925e1c0abc3c7b82b1e1b4333

下载说明

佩特里网PDF格式电子书版下载

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

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

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

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

图书目录

第一部分入门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