点此搜书

当前位置:Petri网原理pdf电子书下载 > 工业技术
Petri网原理
  • 作 者:袁崇义著
  • 出 版 社:北京:电子工业出版社
  • 出版年份:1998
  • ISBN:7505344390
  • 标注页数:199 页
  • PDF页数:207 页
  • 请阅读订购服务说明与试读!

文档类型

价格(积分)

购买连接

试读

PDF格式

8

立即购买

点击试读

订购服务说明

1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。

2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源207 ≥199页】

图书下载及付费说明

1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

上篇 Perti网系统 1

第一章 网和网系统 3

第一节 实例 3

一、生产流水线 3

二、救火队 5

三、救火记录 6

四、无固定容量的FIFO栈 6

五、四季系统 9

六、不加解释的系统 10

一、网和网的图形表示 12

第二节 基本定义 12

二、网系统 15

三、网系统分类 18

四、系统性质 22

第二章 基本网系统 25

第一节 定义和变迁规则 25

第二节 事件间的基本关系 28

第三节 S_补和T_补 31

第四节 T_图,S_图和活性定理 33

第五节 应用 36

一、哲学家就餐--共享资源的管理 36

二、并行编译 40

三、容量不定的先进先出栈 46

四、错在哪里 49

第三章 库所/变迁系统 51

第一节 可达标识集 51

一、定义和系统性质 51

二、可达树 54

三、可达图 56

第二节 出现序列和变迁序列 59

一、基本定义 59

二、原子行为及交叉语义 61

第三节 进程 62

一、出现网 63

二、进程:定义及应用 64

三、进程块 70

第四节 不变量 71

一、关联矩阵 71

二、S_不变量 72

三、T_不变量 73

四、其他结构性质 73

第五节 层次模拟和抽象 74

一、层次模拟 74

二、抽象 75

第四章 高级网系统 76

一、从库所到谓词 77

第一节 谓词/变迁系统 77

二、定义和变迁规则 78

三、谓词/变迁系统的行为 83

第二节 有色网系统 88

第三节 自控网系统 95

一、定义和变迁规则 95

二、不变量 99

下篇 通用网论 103

第五章 条件/事件系统 104

第一节 定义和完全可达关系 104

第二节 公理和基本现象 106

第三节 完备化 108

第六章 同步论 110

第一节 同步的各种形式 110

第二节 同步距离 111

一、S、元素作为观察窗口 111

二、同步距离定义和性质 113

第三节 同步距离与系统行为 116

一、基本集合与同步结构 116

二、加权同步距离 119

第四节 同步距离的计算 119

第五节 同步距离的应用 124

第一节 变迁形式分类--网逻辑结构 128

第七章 网逻辑 128

第二节 事实、命题和推理规则 130

第三节 网与命题逻辑 133

第四节 网与一阶谓词逻辑 141

第五节 网与程式逻辑及职责逻辑 144

第六节 网与时态逻辑 145

第八章 信息流结构 149

第一节 信息流图 149

第二节 信息流图的网表示 153

第三节 实例 157

第一节 传统拓扑 159

第九章 网拓扑 159

第二节 网拓扑 160

第三节 网射 162

第四节 范畴 165

第十章 并发论 168

第十一章 应用 176

第一节 选题 176

第二节 系统设计和分析 177

第三节 知识表示 179

附录一 C.A.Petri为《Petri网》一书所写序言原文摘要(附译文) 181

附录二 Petri网术语 183

参考文献 198

购买PDF格式(8分)
返回顶部