Petri网的元展：一种并发系统模型检测方法

Petri网的元展：一种并发系统模型检测方法
9787030662590
刘关俊 著

TP393.19
科学出版社
2020-10
2020
2020
本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严谨的定