扫一扫
关注中图网
官方微博
>
关于“刘关俊，何雷锋”检索到 共1种现货商品
-
基于PETRI网的计算树逻辑模型检测
¥81.0(7.5折)定价:¥108.0本书介绍了基于Petri网的计算数逻辑模型检测方法，主要内容分为以下三个部分：一、基于原型Petri网的计算树逻辑（CTL）模型检测，结合OBDD技术提出了一种更高效的验证方法以缓解它的状态爆炸问题；二、对多智能体系统的正确性验证，提出了带有认知的Petri网，模拟多智能体系统，然后结合OBDD技术提出了一种更高效的验证计算树认知逻辑（CTLK）的方法；三、对实时系统的正确性验证，提出了点区间优先级时间Petri网，模拟抢占式实时系统
