[放大封面]
[放大封底]
|
| 【相关下载】 |
 |
|
|
| 【二手书】 |
 |
本产品共有 0 册二手书出售，
最低价：￥.00 [查看] |
|
|
|
| 【读者评论】 |
 |
|
 |
内容简介
Petri网是一种适合于描述异步并发现象的系统模型，它既有严格的数学定义，又有直观的图形表示，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。
本书是对《Petri网原理》一书的修订，增加了大量Petri网应用的内容。电梯控制系统一个完整的应用实例，充分展示了Petri网描述异步并发特征的作用。Petri网与计算机程序系统的差异阻碍了Petri网在计算机科学中的应用。针对这一差异引入的变量类状态元素和相应的变迁规则，使扩充后的Petri网成为系统规范和程序系统语义描述的工具。这一工具与同步论的结合，在工作流应用和工作流工具开发中已有很好的应用。
本书是作者多年讲授和研究Petri网的结果。全书分为4篇：入门篇介绍Petri网基本点及基本定义；系统篇介绍三种网系统，并分别定义事件间的基本现象(顺序、并发、冲突、冲撞等)，给出网系统的分析技术和层次化技术；理论篇包括条件/事件系统，同步论，网逻辑，信息流结构，网拓扑和并发论；应用篇包括电梯控制系统，C-net，工作流模型。
坚实的理论基础是Petri网区别于其他系统模型的主要特征。
本书以理论为指导，以应用为目标，包含大量实例和图示，适合计算机及通信、自控等专业高年级学生和研究生用作教材和自学参考书，也可供教师、科研人员及工程技术人员参考。
|
目录
伸缩显示:  [弹出查看]
伸缩显示: [弹出查看] |
|
推荐图书
金书豆豆
【您的购物车】
(共0条)