系统工程Petri网
暂无封面,等待上传

系统工程Petri网

(法) 吉奥特 (Girault,C.) 等, 著

出版社:电子工业出版社

年代:2005

定价:49.0

书籍简介:

本书是一本有关Petri网的建模、验证与应用的优秀教学与研究参考书。全书分为5个部分共27章,首先讲解了Petri网的基本概念,通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统,并给出了各种建模的方法。书中介绍了对Petri网模型进行验证的主要方法,其中包括状态空间搜索和模型检验、结构方法以及使用演绎和进程代数的一些高级方法;讲解了Petri网的确认和执行,其中不仅涉及到软件生命周期的相关内容,而且对于在复杂系统的开发中实际使用Petri网模型给出了详细的分析。最后,作者对Petri网的三个不同应用领域进行了深入的研究。本书的内容全面,结构清晰,并通过大量实例讲解了各种概念、方法与应用。

书籍规格:

书籍详细信息
书名系统工程Petri网站内查询相似图书
丛书名国外计算机科学教材系列
9787121007811
如需购买下载《系统工程Petri网》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位电子工业出版社
版次1版印次1
定价(元)49.0语种简体中文
尺寸26装帧平装
页数印数 5000

书籍信息归属:

系统工程Petri网是电子工业出版社于2005.05出版的中图分类号为 TP393 的主题关于 计算机网络-教材 的书籍。