Petri网原理与应用

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