系统工程Petri网:建模、验证与应用指南

Saved in:
Bibliographic Details
Main Authors: 法 吉奥特 C Girault,Claude ((法)Claude Girault, (德)Rudiger Valk著); 德 Valk Rudiger
Group Author: 王生原 (译); 余鹏 (译); 霍金键 (译)
Published: 电子工业出版社
Publisher Address: 北京
Publication Dates: 2005
Literature type: Book
Language: Chinese
Series: 国外计算机科学教材系列
Subjects:
Carrier Form: 447页: ; 26cm
ISBN: 7-121-00781-9
Index Number: TP393
CLC: TP393
Call Number: TP393/4622
Contents: 本书首先讲解了Petri网的基本概念,通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义;接着讨论了如何应用Petri网来构造系统,并给出了各种建模的方法;最后对Petri网的三个不同应用领域进行了深入的研究。
Note: 书名原文:Petri Nets for Systems Engineering:A Guide to Modeling, Verification, and Applications