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.3 S-补和T-补
3.4 T-图、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网》一书序言节选
附录B Petri网术语
附录C 电梯控制系统UNITY程序
参考文献