本书目录导读:
Petri网的行为理论及其应用:理论与实践的完美融合
书名:《Petri网理论及其应用》
作者:陈国良
出版社:清华大学出版社
出版时间:2010年
《Petri网理论及其应用》一书由我国著名计算机科学家陈国良教授撰写,由清华大学出版社出版,该书系统地介绍了Petri网的基本理论、分析方法及其在各个领域的应用,Petri网作为一种图形化建模工具,在系统建模、性能分析、软件工程等领域具有广泛的应用前景。
第一章:Petri网的基本概念
1、1 Petri网的基本组成
1、2 Petri网的基本性质
1、3 Petri网的应用领域
第二章:Petri网的行为理论
2、1 Petri网的行为模型
2、2 Petri网的行为分析方法
2、3 Petri网的行为理论在系统建模中的应用
第三章:Petri网的应用
3、1 Petri网在系统建模中的应用
3、2 Petri网在性能分析中的应用
3、3 Petri网在软件工程中的应用
第四章:Petri网与其他相关理论的关系
4、1 Petri网与自动机理论的关系
4、2 Petri网与图论的关系
4、3 Petri网与形式化方法的关系
第五章:Petri网的发展趋势与展望
5、1 Petri网的发展历程
5、2 Petri网在国内外的研究现状
5、3 Petri网的发展趋势与展望
本书首先介绍了Petri网的基本概念,包括Petri网的基本组成和性质,详细阐述了Petri网的行为理论,包括行为模型、行为分析方法和行为理论在系统建模中的应用,随后,本书介绍了Petri网在系统建模、性能分析和软件工程等领域的应用,本书还探讨了Petri网与其他相关理论的关系,如自动机理论、图论和形式化方法等,本书对Petri网的发展历程、研究现状、发展趋势和展望进行了深入剖析。
《Petri网理论及其应用》一书全面系统地介绍了Petri网的基本理论、分析方法及其在各个领域的应用,该书对于从事Petri网研究、教学和应用的读者具有很高的参考价值,通过阅读本书,读者可以深入了解Petri网的行为理论,掌握Petri网在系统建模、性能分析和软件工程等领域的应用方法,为我国Petri网理论研究和应用推广做出贡献。