机读格式显示(MARC)

• 000 01064nam0 2200253 450

• 001 0000227062

• 005 20230418123600.0

• 010 __ |a 978-7-03-066259-0 |d CNY99.00

• 100 __ |a 20201102d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a Petri网的元展 |A Petri wang de yuan zhan |e 一种并发系统模型检测方法 |f 刘关俊著

• 210 __ |a 北京 |c 科学出版社 |d 2020

• 215 __ |a 160页 |c 图 |d 24cm

• 320 __ |a 有书目 (第145-156页)

• 330 __ |a 本书主要介绍Petri网的元展这一用于并发系统模型检测的方法, 利用元展检测并发系统健壮性、兼容性与死锁, 并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑, 同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章, 具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明以及清晰的算法描述。

• 517 1_ |a 一种并发系统模型检测方法 |A yi zhong bing fa xi tong mo xing jian ce fang fa

• 606 0_ |a Petri网 |A Petri wang |x 研究

• 690 __ |a TP393.19 |v 5

• 701 _0 |a 刘关俊 |A liu guan jun |4 著

• 801 _0 |a CN |b 人天书店 |c 20201102

• 905 __ |a GDPTC |d TP393.19/3