Petri网的元展：一种并发系统模型检测方法
《Petri网的元展：一种并发系统模型检测方法》,作者:刘关俊 著 出版社:科学出版社 ISBN:9787030662590。本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严
投稿
微信公众账号
微信扫一扫加关注
顶部