西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

系统工程Petri网:建模、验证与应用指南/(法)Claude Girault，(德)Rudiger Valk著 王生原，余鹏，霍金健译

出版发行项:

北京:电子工业出版社,2005

ISBN及定价:

7-121-00781-9/CNY53.00

载体形态项:

12,447页;26cm

并列正题名:

Petri Nets for Systems Engineering:A Guide to Modeling, Verification, and Applications

丛编项:

国外计算机科学教材系列

个人责任者:

吉罗 (Girault, Claude) (法) 著

个人责任者:

瓦尔克 (Valk, Rudiger) (德) 著

个人次要责任者:

王生原 译

个人次要责任者:

余鹏 译

个人次要责任者:

霍金健 译

学科主题:

计算机网络-教材

学科主题:

计算机网络

非控制主题词:

Petri

中图法分类号:

TP393

题名责任附注:

书名业译者题：王生原，余鹏，霍金键译

版本附注:

本书由斯普林格出版公司授权出版

提要文摘附注:

本书讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。

豆瓣简介：