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