同类推荐
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
网络服务器配置与管理
-
¥49.00
-
-
Web前端设计与开发
-
¥54.80
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
算法竞赛从新手到高手
-
¥79.80
-
-
数智伦理
-
¥69.00
-
-
数据库系统原理与GaussDB实现
-
¥99.00
-
-
数据库系统原理与GaussDB实现
-
¥99.00
|
|
图书信息
|
|
|
|
Petri网的元展：一种并发系统模型检测方法
|
| ISBN： | 9787030662590 |
定价： | ￥99.00 |
| 作者： | 刘关俊著 |
出版社： | 科学出版社 |
| 出版时间： | 2020年10月 |
开本： | 24cm |
| 页数： | 160页 |
装祯： | 平装 |
中图法： | TP393.19 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
292
|
|
2026-06-12
|
图书简介 | | 本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明以及清晰的算法描述。 |
|