机读格式显示(MARC)

• 000 01185nam 2200301 450

• 001 0000777587

• 005 20201217145600.0

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

• 100 __ |a 20200608d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a y a 000yy

• 106 __ |a r

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

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

• 215 __ |a 192页 |d 25cm

• 225 2_ |a 同济博士论丛 |A tong ji bo shi lun cong |i 工学·计算机科学与技术

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

• 330 __ |a 本书从理论研究与应用结合两个方面着手，以Petri网活性为主线，开展了Perti网(子类)的活性判定、基于Petri网的资源分配系统死锁预防策略、基于Petri网的交互式系统活性与兼容性分析等三方面的研究。

• 410 _0 |1 2001 |a 同济博士论丛 |i 工学·计算机科学与技术

• 510 1_ |a Liveness of Petri nets and its 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 HDUL |c 20200708

• 905 __ |a HDUL |d TP393.19/082

• 920 __ |a 233030 |z 1