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

本书是一本有关Petri网的建模、验证与应用的优秀教学与研究参考书。全书分为5个部分共27章,首先讲解了Petri网的基本概念,通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统,并给出了各种建模的方法。