系统工程Petri网:建模、验证与应用指南
Saved in:
Main Authors: | ; |
---|---|
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 |