机读格式显示(MARC)

• 000 01331nam 2200349 450

• 001 0000385310

• 005 20201113130600.0

• 010 __ |a 978-7-5608-7428-9 |b 精装 |d CNY68.00

• 099 __ |a CAL 012020124775

• 100 __ |a 20200629d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a Petri网活性与应用 |A Petri wang huo xing yu ying yong |d = Liveness of petri nets and lts application |f 刘关俊, 蒋昌俊著 |z eng

• 210 __ |a 上海 |c 同济大学出版社 |d 2020

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

• 225 2_ |a 同济博士论丛 |A tong ji bo shi lun cong

• 300 __ |a 工学·计算机科学与技术

• 320 __ |a 有书目 (第174-190页)

• 330 __ |a Petri网是一种模拟并发系统的数学模型, 活性是Petri网的重要性质之一, 与并发系统的无死锁性密切相关。本书以Petri网活性为主线, 开展了Petri网 (子类) 的活性判定、基于Petri网的资源分配系统死锁预防策略、基于Petri网的交互式系统活性与兼容性分析等三方面的研究。

• 410 _0 |1 2001 |a 同济博士论丛

• 510 1_ |a Liveness of petri nets and lts application |z eng

• 606 0_ |a Petri网 |A Petri wang |x 系统建模 |x 研究

• 690 __ |a TP393.19 |v 5

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

• 701 _0 |a 蒋昌俊 |A jiang chang jun |4 著

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

• 905 __ |a XATU |d TP393.19/7

• 920 __ |a 261060 |z 1

• 921 __ |a BMQZ |b RTBOOK

• 998 __ |a RTBOOK