基于Petri网的计算树逻辑模型检测
全新正版现货
￥ 81 7.5折 ￥ 108 全新
仅1件
作者刘关俊，何雷锋
出版社科学出版社
ISBN9787030772848
出版时间2024-01
装帧平装
开本16开
纸张胶版纸
定价108元
货号29675477
上书时间2024-07-27
商品详情
- 品相描述：全新
- 正版全新
- 商品描述
-
【内容】:本书主要介绍原型 Petri 网、知识 Petri 网、带有优先的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。本书介绍的计算树逻辑、知识计算树逻辑、时间计算树逻辑等可以用于规约这些系统所关注的设计需求，如无死锁、公平性、隐私性、可调度性、坏执行时间等。本书重点介绍使用这些 Petri 网模型验证以上时序逻辑的算法。另外，本书介绍简化有序二叉决策图，介绍如何将其用于表达 Petri 网的状态、状态间的迁移关系及状态间的等价关系，并将其应用于计算树逻辑与 知识计算树逻辑的模型检测上。
相关推荐
-
基于Petri网的计算树逻辑模型检测
全新北京
￥ 77.99
-
基于PETRI网的计算树逻辑模型检测
全新广州
￥ 69.34
-
基于Petri网的计算树逻辑模型检测
全新广州
￥ 68.45
-
基于Petri网的计算树逻辑模型检测
全新北京
￥ 68.30
-
基于PETRI网的计算树逻辑模型检测
九五品北京
￥ 150.00
-
基于Petri网的计算树逻辑模型检测
全新北京
￥ 98.00
-
基于Petri网的计算树逻辑模型检测
全新北京
￥ 68.67
-
基于PETRI网的计算树逻辑模型检测9787030772848
全新广州
￥ 72.58
-
基于Petri网的计算树逻辑模型检测 科学出版社
全新北京
￥ 89.60
-
基于Petri网的计算树逻辑模型检测 9787030772848 刘关俊,何雷锋
全新南京
￥ 80.30
— 没有更多了 —
以下为对购买帮助不大的评价