机读格式显示(MARC)

• 000 01633nam2 2200421 4500

• 000 0000161271

• 001 0000109183

• 005 20060913120148.0

• 010 __ |a 7-121-00781-9 |d CNY53.00

• 021 __ |a CN |b 01-2003-3950

• 100 __ |a 20060912d2005 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 系统工程Petri网 |e 建模、验证与应用指南 |f (法)Claude Girault，(德)Rudiger Valk著 |g 王生原，余鹏，霍金健译 |9 xi tong gong cheng petri wang

• 210 __ |a 北京 |c 电子工业出版社 |d 2005

• 215 __ |a 12,447页 |d 26cm

• 225 2_ |a 国外计算机科学教材系列 |9 guo wai ji suan ji ke xue jiao cai xi lie

• 304 __ |a 书名业译者题：王生原，余鹏，霍金键译

• 305 __ |a 本书由斯普林格出版公司授权出版

• 330 __ |a 本书讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。

• 461 _0 |1 2001 |a 国外计算机科学教材系列

• 510 1_ |a Petri Nets for Systems Engineering |e A Guide to Modeling, Verification, and Applications |z eng

• 606 0_ |a 计算机网络 |A jisuanjiwangluo |j 教材

• 606 0_ |a 计算机网络 |A jisuanjiwangluo

• 610 0_ |a Petri |A Petri

• 690 __ |a TP393 |v 4

• 701 _0 |a 吉罗 |c (Girault, Claude) |c (法) |4 著 |9 ji luo

• 701 _0 |a 瓦尔克 |c (Valk, Rudiger) |c (德) |4 著 |9 wa er ke

• 702 _0 |a 王生原 |4 译 |9 wang sheng yuan

• 702 _0 |a 余鹏 |4 译 |9 yu peng

• 702 _0 |a 霍金健 |4 译 |9 huo jin jian

• 801 _0 |a CN |b 261060 |c 20060913

• 905 __ |a XATU |d TP393/536

• 991 __012006009941

• 995 __ |a 261060 |f TP393/536

• 999 __ |t C |A cuixiaojing |a 20060912 15:26:03 |I zw |i 20060913 12:01:4