000
01226nam 2200277 450
001
012018001274
010
@ a978-7-5608-6829-5@ b精装@ dCNY50.00
100
@ a20180402d2017 em y0chiy50 ea
101
0
@ achi
102
@ aCN@ b310000
105
@ aak a 000yy
106
@ ar
200
1
@ a基于Petri网精炼的系统建模与分析@ Aji yu Petriwang jing lian de xi tong jian mo yu fen xi@ d= Petri net refinement based system modeling and analysis@ f丁志军著@ Fding zhi jun zhu@ zeng
210
@ a上海@ c同济大学出版社@ d2017.08
215
@ a143页@ c图@ d25cm
225
2
@ a同济博士论丛@ Atong ji bo shi lun cong
300
@ a同济大学1907-2017
320
@ a有书目 (第128-141页)
330
@ a本文面向系统综合, 着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质。首先定义了一类Petri网的精炼操作, 基于序列投影, 建立了精炼Petri网与原网、子网间的动态行为关联关系, 并分析了该精炼操作的相关动态性质, 给出了一组性质保持判据。
410
0
@ 12001 @ a同济博士论丛
510
1
@ aPetri net refinement based system modeling and analysis@ zeng
606
0
@ aPetri网@ APetriwang@ x系统建模
690
@ aTP393.19@ v5
701
0
@ a丁志军@ Ading zhi jun@ 4著
801
0
@ aCN@ c20180830
905
@ a河南城建学院图书馆@ b21390795-96@ dTP393.19@ eD602@ f2
基于Petri网精炼的系统建模与分析= Petri net refinement based system modeling and analysis/丁志军著.-上海：同济大学出版社，2017.08 143页：图；25cm.-(同济博士论丛) 同济大学1907-2017 ISBN 978-7-5608-6829-5(精装)：CNY50.00 本文面向系统综合, 着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质。首先定义了一类Petri网的精炼操作, 基于序列投影, 建立了精炼Petri网与原网、子网间的动态行为关联关系, 并分析了该精炼操作的相关动态性质, 给出了一组性质保持判据。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
1390795
213907959
自科库301/301自科库 133排1列4层/
[索取号:TP393.19/D602]
在馆
2
1390796
213907968
自科库301/301自科库 133排1列4层/
[索取号:TP393.19/D602]
在馆
