• Petri网原理与应用
  • Petri网原理与应用
21年品牌 40万+商家 超1.5亿件商品

Petri网原理与应用

正版塑封干净

61 九五品

仅1件

北京昌平
认证卖家担保交易快速发货售后保障

作者袁崇义 著

出版社电子工业出版社

出版时间2005-03

版次1

装帧平装

货号角0216-3

上书时间2024-12-25

鸭嘴兽书店

已实名 已认证 进店 收藏店铺

   商品详情   

品相描述:九五品
图书标准信息
  • 作者 袁崇义 著
  • 出版社 电子工业出版社
  • 出版时间 2005-03
  • 版次 1
  • ISBN 9787121009709
  • 定价 32.00元
  • 装帧 平装
  • 开本 其他
  • 纸张 胶版纸
  • 页数 285页
  • 字数 473千字
【内容简介】
  Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。
  本书是对《Petri网原理》一书的修订,增加了大量的Petri网应用的内容。电梯控制系统是一个完整的应用实例,充分展示了Petri网描述异步并发特征的作用。Petri网与计算机程序系统的差异阻碍了Petri网在计算机科学中的应用。针对这一差异引入的变量类状态元素和相应的变迁规则,使扩充后的Petri网成为系统规范和程序系统语义描述的工具。这一工具与同步论的结合,在工作流应用和工作流工具开发中已有很好的应用。
  本书是作者多年讲授和研究Petri网的结果。全书分为四篇:入门篇介绍Petri网基本观点及基本定义;系统篇介绍三种网系统,并分别定义事件间的基本现象(顺序、并发、冲突和冲撞等),给出网系统的分析技术和层次化技术;理论篇包括条件/事件系统,同步论,网逻辑,信息流结构,网拓扑和并发论;应用篇包括电梯控制系统,C_net,工作流模型。坚实的理论基础是Petri网区别于其他系统模型的主要特征。
  本书以理论为指导,以应用为目标,包含大量实例和图示,适合用作计算机及通信、自控等专业高年级学生和研究生教材和自学参考书,也可供教师、科研人员及工程技术人员参考。
【目录】
第1篇入门篇
第1章引子;基本观点
第2章网和网系统
2.1实例
2.2基本定义
第2篇系统篇
第3章基本网系统
3.1定义和变迁规则
3.2事件间的基本关系
3.3S-补和T-补
3.4T-图、S-图和活性定理
3.5应用
第4章库所/变迁系统
4.1可达标识集
4.2出现序列和变迁序列
4.3进程
4.4不变量
第5章高级网系统
5.1谓词/变迁系统
5.2有色网系统
5.3自控网系统
第3篇理论篇
第6章条件/事件系统
6.1定义和完全可达关系
6.2公理和基本现象
6.3完备化
第7章同步论
7.1同步的各种形式
7.2同步距离
7.3同步距离与系统行为
7.4同步距离的计算
7.5同步距离的应用
第8章网逻辑
8.1变迁形式分类——网逻辑结构
8.2事实、命题和推理规则
8.3网与命题逻辑
8.4网与一阶谓词逻辑
8.5网与程式逻辑及职责逻辑
第9章信息流结构
……
第10章网拓扑
第11章并发论
第4篇应用篇
第12章电梯控制系统
第13章C-net
第14章工作流模型
附录A原《Petri网》一书序言节选
附录BPetri网术语
附录C电梯控制系统UNITY程序
参考文献
点击展开 点击收起

   相关推荐   

—  没有更多了  —

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP