开发工具:
文件大小: 3mb
下载次数: 0
上传时间: 2011-08-09
详细说明： Petri网是一种适合于描述异步并发现象的系统模型，它既有严格的数学定义，又有直观的图形表示，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。 本书是对《Petri网原理》一书的修订，增加了大量的Petri网应用的内容。电梯控制系统是一个完整的应用实例，充分展示了Petri网描述异步并发特征的作用。Petri网与计算机程序系统的差异阻碍了Petri网在计算机科学中的应用。针对这一差异引入的变量类状态元素和相应的变迁规则，使扩充后的Petri网成为系统规范和程序系统语义描述的工具。这一工具与同步论的结合，在工作流应用和工作流工具开发中已有很好的应用。 本书是作者多年讲授和研究Petri网的结果。全书分为四篇：入门篇介绍Petri网基本观点及基本定义；系统篇介绍三种网系统，并分别定义事件间的基本现象（顺序、并发、冲突和冲撞等），给出网系统的分析技术和层次化技术；理论篇包括条件/事件系统，同步论，网逻辑，信息流结构，网拓扑和并发论；应用篇包括电梯控制系统，C_net，工作流模型。坚实的理论基础是Petri网区别于其他系统模型的主要特征。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
