刘关俊
  1. 首页
  2. 刘关俊

列表

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

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

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

基于Petri网的计算树逻辑模型检测

《基于Petri网的计算树逻辑模型检测》,作者:刘关俊,何雷锋 著 出版社:科学出版社 ISBN:9787030772848。《基于Petri网的计算树逻辑模型检测》主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢
壹号书单 2024年01月01日