机读格式显示(MARC)

• 000 01933nam 2200625 450

• 001 0000322744

• 005 20190109131400.0

• 010 __ |a 978-7-5608-6829-5 |b 精装 |d CNY50.00

• 099 __ |a CAL 012018054958

• 100 __ |a 20180515d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 基于Petri网精炼的系统建模与分析 |A ji yu Petriwang jing lian de xi tong jian mo yu fen xi |d = Petri net refinement based system modeling and analysis |f 丁志军著 |z eng

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

• 215 __ |a 143页 |c 图 |d 25cm

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

• 300 __ |a 同济大学1907-2017

• 320 __ |a 有书目 (第128-141页)

• 330 __ |a 本文面向系统综合, 着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质。首先定义了一类Petri网的精炼操作, 基于序列投影, 建立了精炼Petri网与原网、子网间的动态行为关联关系, 并分析了该精炼操作的相关动态性质, 给出了一组性质保持判据。

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

• 510 1_ |a Petri net refinement based system modeling and analysis |z eng

• 606 0_ |a Petri网 |A Petriwang |x 系统建模

• 690 __ |a TP393.19 |v 5

• 701 _0 |a 丁志军 |A Ding Zhijun |4 著

• 801 _0 |a CN |b DUTL |c 20180515

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

• 920 __ |a 211010 |z 2

• 920 __ |a 221020 |z 1

• 920 __ |a 231020 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 211060 |z 2

• 920 __ |a 221400 |z 1

• 920 __ |a 261011 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 251010 |z 1

• 920 __ |a 244010 |z 1

• 920 __ |a 235010 |z 1

• 920 __ |a 244020 |z 1

• 920 __ |a 237010 |z 1

• 920 __ |a 232090 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 231220 |z 2

• 920 __ |a 237020 |z 1

• 920 __ |a 430102 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 232340 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 261060 |z 1

• 998 __ |a DUTL