机读格式显示(MARC)

• 000 01293nam0 2200277 450

• 001 0000708954

• 005 20240718185900.0

• 010 __ |a 978-7-03-077284-8 |d CNY108.00

• 100 __ |a 20240119d2024 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 基于Petri网的计算树逻辑模型检测 |A ji yu Petriwang de ji suan shu luo ji mo xing jian ce |f 刘关俊, 何雷锋著

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

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

• 314 __ |a 刘关俊，同济大学教授，博士生导师。2011年7月毕业于同济大学计算机软件与理论专业，获得工学博士学位，同年赴新加坡科技设计大学从事博士后工作。

• 314 __ |a 何雷锋，2023 年1月获得同济大学计算机科学与技术专业博士学位。何雷锋主要从事Petri网、计算树逻辑、模型检测等方面的理论与应用研究。

• 320 __ |a 有书目 (第183-195页)

• 330 __ |a 本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。

• 606 0_ |a 计算机科学 |A ji suan ji ke xue |x 研究

• 690 __ |a TP3 |v 5

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

• 701 _0 |a 何雷锋 |A he lei feng |4 著

• 801 _0 |a CN |b WFKJXY |c 20240718

• 905 __ |a WFKJXY |d TP3/853