Petri网应用 袁崇义

Petri网是系统建模中重要的工具，在计算机科学及相关专业中有广泛的应用。然而，Petri网理论的学习对初学者来说可能有一定的难度。因此，《信息科学技术学术著作丛书:Petri网应用》作为一本面向初学者的指南，特意采用实例来展示Petri网的应用，使读者轻松学习。全书主要包括Petri网的静态结构、动态性质和分析方法三部分。其中，在静态结构一章，介绍了Petri网的基本概念和建模语法。在动态性质一章，通过实例详细阐述了Petri网中事件和状态的转移，并介绍了如何对Petri网模型的行为进行描述和分析。在分析方法一章，介绍了Petri网在状态空间和过程代数方面的应用。本书旨在成为计算机科学及相关专业的本科生和研究生教材，同时也适合各领域对Petri网感兴趣的科研人员、教师以及软件开发人员学习和参考。推荐理由：本书采用实例讲解Petri网的应用，为初学者提供了通俗易懂的学习路径。书中深入浅出地介绍了Petri网的静态结构、动态性质和分析方法，是学习Petri网的优秀教材，也是Petri网领域研究者的必备之书。