本书是一本关于Petri网的建模、验证与应用的优秀的教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。书中介绍了对Petri网模型进行验证的主要方法，其中包括基于状态空间的方法和模型检验、结构方法以及使用演绎和进程代数的一些高级方法；讲解了Petri网的确认和执行，其中不仅涉及到软件生命周期的相关内容，而且详细介绍了在复杂系统的开发过程中如何使用Petri网进行建模和分析。最后，作者对Petri网的三个不同应用领域（柔性制造系统、工作流管理系统和电信系统）进行了深入的研究。本书的内容全面，结构清晰，并通过大量实例讲解了各种概念、方法与应用。 本书可以作为计算机相关专业本科生和研究生的教材或参考书，也可作为从事软件系统研究的人员的宝贵参考资料。