书目信息 |
| 题名： |
系统工程Petri网
|
|
| 作者： | 吉罗, ， 瓦尔克, 著 ；王生原 ， 余鹏 ， 霍金健 译 | |
| 分册： | ||
| 出版信息： | 北京 电子工业出版社 2005 |
|
| 页数： | 447页 | |
| 开本： | 26cm | |
| 丛书名： | 国外计算机科学教材系列 | |
| 单 册： | ||
| 中图分类： | TP393 | |
| 科图分类： | ||
| 主题词： | 计算机网络--ji suan ji wang--教材 | |
| 电子资源： | ||
| ISBN： | 7-121-00781-9 | |
| 000 | 01653nam 2200349 450 | |
| 001 | 0100001166 | |
| 010 | @a7-121-00781-9@dCNY53.00 | |
| 100 | @a20070830d2005 em y0chiy0121 ea | |
| 101 | 1 | @achi@aeng |
| 102 | @aCN@b110000 | |
| 105 | @aa a 000yy | |
| 106 | @ar | |
| 200 | 1 | @a系统工程Petri网@Atong gong cheng Petri wang@e建模、验证与应用指南@d= Petri nets for system engineering@ea guide to modeling, verification, and applications@f(法) Claude Girault, (德) Rudiger Valk著@g王生原, 余鹏, 霍金健译@zeng |
| 210 | @a北京@c电子工业出版社@d2005 | |
| 215 | @a447页@c图@d26cm | |
| 225 | 2 | @a国外计算机科学教材系列@Aguo wai ji suan ji ke xue jiao cai lie |
| 305 | @a据2003年英文版译出 | |
| 306 | @a斯普林格出版公司授权电子工业出版社出版 | |
| 314 | @a责任者 (Girault)、(Valk) 规范汉译姓: 吉罗, 瓦尔克 | |
| 320 | @a有书目 (第422-447页) | |
| 330 | @a书中介绍了对Petri网模型进行验证的主要方法, 其中包括基于状态空间的方法和模型检验、结构方法以及使用演绎和进程代数的一些高级方法; 讲解了Petri网的确认和执行, 其中不仅涉及到软件生命周期的相关内容, 而且详细介绍了在复杂系统的开发过程中如何使用Petri网进行建模和分析。 | |
| 410 | 0 | @12001 @a国外计算机科学教材系列 |
| 510 | 1 | @aPetri nets for system engineering@ea guide to modeling, verification, and applications@zeng |
| 606 | 0 | @a计算机网络@Aji suan ji wang@j教材 |
| 690 | @aTP393@v4 | |
| 701 | 1 | @a吉罗,@Aji luo@bC.@g(Girault, Claude)@4著 |
| 701 | 1 | @a瓦尔克,@Awa er ke@bR.@g(Valk, Rudiger)@4著 |
| 702 | 0 | @a王生原@Awang shen yuan@4译 |
| 702 | 0 | @a余鹏@Ayu peng@4译 |
| 702 | 0 | @a霍金健@Ahuo jin jian@4译 |
| 801 | 0 | @aCN@c20070822 |
| 905 | @b20662329-31@dTP393@eJ064@fTP393/J064 | |
| 系统工程Petri网：建模、验证与应用指南= Petri nets for system engineering：a guide to modeling, verification, and applications/(法) Claude Girault, (德) Rudiger Valk著/王生原, 余鹏, 霍金健译.-北京：电子工业出版社，2005 |
| 447页：图；26cm.-(国外计算机科学教材系列) |
| ISBN 7-121-00781-9：CNY53.00 |
| 书中介绍了对Petri网模型进行验证的主要方法, 其中包括基于状态空间的方法和模型检验、结构方法以及使用演绎和进程代数的一些高级方法; 讲解了Petri网的确认和执行, 其中不仅涉及到软件生命周期的相关内容, 而且详细介绍了在复杂系统的开发过程中如何使用Petri网进行建模和分析。 |
| ● |
| 相关链接 |
|
|
|
正题名：系统工程Petri网
索取号：TP393/J064
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 662329 | 206623297 | 自科二线404/301自科库 108排2列6层/ [索取号:TP393/J064] | 在馆 | |
| 2 | 662330 | 206623304 | 自科库301/301自科库 115排2列1层/ [索取号:TP393/J064] | 在馆 | |
| 3 | 662331 | 206623313 | 自科库301/301自科库 115排2列1层/ [索取号:TP393/J064] | 在馆 |