Petri网原理与应用

图书标准信息

• 作者 袁崇义 著
• 出版社 电子工业出版社
• 出版时间 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程序
参考文献