Petri网的元展

书籍简介:

本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明以及清晰的算法描述。本书可供从事并发理论、Petri 网理论、形式化方法、模型检测、工作流管理系统、分布式系统、离散事件动态系统等方向的研究生使用，也可供相关教师、科研人员和工程技术人员参考。

书籍规格:

书籍信息归属:

Petri网的元展是科学出版社于2020.9出版的中图分类号为 TP393.19 的主题关于 Petri网－研究 的书籍。