v

您的位置:VeryCD图书计算机与网络

图书资源事务区


《Petri网原理与应用》扫描版[PDF]

  • 状态: 精华资源
  • 摘要:
    图书分类网络
    出版社电子工业出版社
    发行时间2005年3月23日
    语言简体中文
  • 时间: 2013/07/23 23:43:21 发布 | 2013/07/24 23:20:08 更新
  • 分类: 图书  计算机与网络 

slholmes

精华资源: 762

全部资源: 762

相关: 分享到新浪微博   转播到腾讯微博   分享到开心网   分享到人人   分享到QQ空间   订阅本资源RSS更新   美味书签  subtitle
该内容尚未提供权利证明,无法提供下载。
中文名Petri网原理与应用
作者袁崇义
图书分类网络
资源格式PDF
版本扫描版
出版社电子工业出版社
书号7121009706
发行时间2005年3月23日
地区大陆
语言简体中文
简介

IPB Image

评论处1楼有网盘链接


内容介绍:

  Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。
   本书是对《Petri网原理》一书的修订,增加了大量的Petri网应用的内容。电梯控制系统是一个完整的应用实例,充分展示了Petri网描述异步并发特征的作用。Petri网与计算机程序系统的差异阻碍了Petri网在计算机科学中的应用。针对这一差异引入的变量类状态元素和相应的变迁规则,使扩充后的Petri网成为系统规范和程序系统语义描述的工具。这一工具与同步论的结合,在工作流应用和工作流工具开发中已有很好的应用。
   本书是作者多年讲授和研究Petri网的结果。全书分为四篇:入门篇介绍Petri网基本观点及基本定义;系统篇介绍三种网系统,并分别定义事件间的基本现象(顺序、并发、冲突和冲撞等),给出网系统的分析技术和层次化技术;理论篇包括条件/事件系统,同步论,网逻辑,信息流结构,网拓扑和并发论;应用篇包括电梯控制系统,C_net,工作流模型。坚实的理论基础是Petri网区别于其他系统模型的主要特征。
   本书以理论为指导,以应用为目标,包含大量实例和图示,适合用作计算机及通信、自控等专业高年级学生和研究生教材和自学参考书,也可供教师、科研人员及工程技术人员参考。


内容截图:

IPB Image



目录

第1篇 入门篇
第1章 引子:基本观点
第2章 网和网系统
2.1 实例
2.1.1 生产流水线
2.1.2 救火队
2.1.3 救火记录
2.1.4 无固定容量的fifo栈
2.1.5 四季系统
2.1.6 不加解释的系统
2.2 基本定义
2.2.1 网和网的图形表示
2.2.2 网系统
2.2.3 网系统分类
2.2.4 系统性质
第2篇 系统篇
第3章 基本网系统
3.1 定义和变迁规则
3.2 事件间的基本关系
3.3 s_补和t_补
.3.4 t_图、s_图和活性定理
3.5 应用
3.5.1 哲学家就餐--共享资源的管理
3.5.2 并行编译
3.5.3 容量不定的先进先出栈
3.5.4 错在哪里
第4章 库所/变迁系统(p/t_系统)
4.1 可达标识集
4.1.1 定义和系统性质
4.1.2 覆盖树
4.1.3 覆盖图
4.2 出现序列和变迁序列
4.2.1 基本定义
4.2.2 原子行为及交叉语义
4.3 进程
4.3.1 出现网
4.3.2 进程的定义与应用
4.3.3 进程块
4.4 不变量
4.4.1 关联矩阵
4.4.2 s_不变量
4.4.3 t_不变量
4.4.4 其他结构性质
4.4.5 层次模拟和忽略细节
第5章 高级网系统
5.1 谓词/变迁系统(pr/t_系统)
5.1.1 从库所到谓词
5.1.2 定义和变迁规则
5.1.3 谓词/变迁系统的行为
5.2 有色网系统
5.3 自控网系统
5.3.1 定义和变迁规则
5.3.2 不变量
第3篇 理论篇
第6章 条件/事件系统(c/e_系统)
6.1 定义和完全可达关系
6.2 公理和基本现象
6.3 完备化
第7章 同步论
7.1 同步的各种形式
7.2 同步距离
7.2.1 s_元素作为观察窗口
7.2.2 同步距离的定义和性质
7.3 同步距离与系统行为
7.3.1 基本集合与同步结构
7.3.2 加权同步距离
7.4 同步距离的计算
7.5 同步距离的应用
第8章 网逻辑
8.1 变迁形式分类--网逻辑结构
8.2 事实、命题和推理规则
8.3 网与命题逻辑
8.4 网与一阶谓词逻辑
8.5 网与程式逻辑及职责逻辑
8.6 网与时态逻辑
第9章 信息流结构
9.1 信息流图
9.2 信息流图的网表示
9.3 实例
第10章 网拓扑
10.1 传统拓扑
10.2 网拓扑
10.3 网射
10.4 范畴
第11章 并发论
第4篇 应用篇
第12章 电梯控制系统
12.1 电梯问题
12.1.1 用户需求
12.1.2 需求分析
12.2 系统设计
12.2.1 变迁
12.2.2 变迁的外延--状态元素
12.2.3 按钮解释
12.2.4 变迁u_stop(i)
12.2.5 按钮变迁和变迁u_close(i)
12.2.6 改变方向的变迁u_d(i)
12.3 系统组装
12.4 正确性分析
12.5 有色网模型
12.5.1 为什么节点多
12.5.2 库所组合有色网
12.5.3 电梯系统的有色网模型
12.6 小结
第13章 c_net
13.1 s_元和v_元
13.2 变迁状态和v_元外延
13.3 变迁规则
13.4 c_net的形式化定义
13.5 实例
13.6 读写冲突及系统性质
13.7 汉诺塔问题
第14章 工作流模型
14.1 形式化方法
14.2 aalst的wf_net
14.3 工作流和工作流管理系统
14.4 工作流逻辑网
14.5 化简规则
14.6 工作流语义
14.7 工作流引擎
14.7.1 工作流管理逻辑
14.7.2 引擎核
14.8 角色的层次结构
14.9 多案例处理和性能
附录a 原《petri网》一书序言节选(附译文)
附录b petri网术语
附录c 电梯控制系统unity程序
参考文献

正在读取……

这里是其它用户补充的资源(我也要补充):

暂无补充资源
正在加载,请稍等...

点击查看所有10网友评论

 

(?) [公告]留口水、评论相关规则 | [活动]每日签到 轻松领取电驴经验

    小贴士:
  1. 类似“顶”、“沙发”之类没有营养的文字,对勤劳贡献的楼主来说是令人沮丧的反馈信息。
  2. 提问之前请再仔细看一遍楼主的说明,或许是您遗漏了。
  3. 勿催片。请相信驴友们对分享是富有激情的,如果确有更新版本,您一定能搜索到。
  4. 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦,又没人会搭理,于人于己都无利。
  5. 如果您发现自己的评论不见了,请参考以上4条。