|
题名:
|
Petri网的元展 / 刘关俊著 , |
|
ISBN:
|
978-7-03-066259-0 价格： CNY99.00 |
|
语种:
|
chi |
|
载体形态:
|
160页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2020 |
|
内容提要:
|
本书主要介绍Petri网的元展这一用于并发系统模型检测的方法, 利用元展检测并发系统健壮性、兼容性与死锁, 并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑, 同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章, 具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明以及清晰的算法描述。 |
|
主题词:
|
Petri网 研究 |
|
中图分类法:
|
TP393.19 版次： 5 |
|
其它题名:
|
一种并发系统模型检测方法 |
|
主要责任者:
|
刘关俊 著 |