同类推荐
-
-
信奥逐梦之路:家长陪伴与升学规划全阶段指南
-
¥59.80
-
-
信奥逐梦之路:家长陪伴与升学规划全阶段指南
-
¥59.80
-
-
信奥逐梦之路:家长陪伴与升学规划全阶段指南
-
¥59.80
-
-
Photoshop 2025图像处理标准教程:微课版:…
-
¥99.80
-
-
视觉伺服技术与应用
-
¥99.00
-
-
视觉伺服技术与应用
-
¥99.00
-
-
视觉伺服技术与应用
-
¥99.00
-
-
100个电子游戏机制设计手册
-
¥99.00
-
-
机器视觉系统硬件设计、算法开发及应用
-
¥79.00
-
-
机器视觉系统硬件设计、算法开发及应用
-
¥79.00
|
|
图书信息
|
|
|
|
Petri网的元展：一种并发系统模型检测方法
|
| ISBN： | 9787030662590 |
定价： | ￥99.00 |
| 作者： | 刘关俊著 |
出版社： | 科学出版社 |
| 出版时间： | 2020年10月 |
开本： | 24cm |
| 页数： | 160页 |
装祯： | 平装 |
中图法： | TP393.19 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
202
|
|
2026-02-06
|
图书简介 | | 本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明以及清晰的算法描述。 |
|