Petri网原理PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:袁崇义著
- 出 版 社:北京:电子工业出版社
- 出版年份:1998
- ISBN:7505344390
- 页数:199 页
上篇 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
- 《第一性原理方法及应用》李青坤著 2019
- 《计算机组成原理解题参考 第7版》张基温 2017
- 《高等院校保险学专业系列教材 保险学原理与实务》林佳依责任编辑;(中国)牟晓伟,李彤宇 2019
- 《刑法归责原理的规范化展开》陈璇著 2019
- 《教师教育系列教材 心理学原理与应用 第2版 视频版》郑红,倪嘉波,刘亨荣编;陈冬梅责编 2020
- 《单片机原理及应用》庄友谊 2020
- 《通信电子电路原理及仿真设计》叶建芳 2019
- 《计算机组成原理 第2版》任国林 2018
- 《化工原理课程设计》刘建周主编 2018
- 《会计学原理》邵瑞庆主编 2019
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
- 《电子测量与仪器》人力资源和社会保障部教材办公室组织编写 2009
- 《少儿电子琴入门教程 双色图解版》灌木文化 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《通信电子电路原理及仿真设计》叶建芳 2019
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019
- 《电子应用技术项目教程 第3版》王彰云 2019
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017