| 查看: 319 | 回复: 2 | |||
buaa011lz新虫 (初入文坛)
|
[交流]
咨询出版地和出版商
|
|
在ISTP查到如下参考文献的信息，请问一下出版地和出版社具体是哪里，谢谢！ ------------------------------------------------ 作者: Cicirelli F, Furfaro A, Nigro L 书籍团体作者: IEEE COMPUTER SOC 来源出版物: 39TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS 丛书: PROCEEDINGS OF THE ANNUAL SIMULATION SYMPOSIA 页: 261-268 出版年: 2006 被引频次: 3 参考文献: 18 引证关系图 会议信息: 39th Annual Simulation Symposium Huntsville, AL, APR 02-06, 2006 Soc Modeling & Simulat Int 摘要: This paper describes an approach to modeling and analysis of complex time-dependent systems specified by modular Time Petri Nets (TPNs). The approach is supported by a Java tool TPN DESIGNER- which permits visual modeling, debugging and discrete-event simulation. The tool is characterized by its modularity and hierarchical constructs, a scripting language for controlling model configuration and scalability, and a monitoring and watching sub system for collecting simulation output. TPN DESIGNER permits also to split a model into LP/subnets for distributed simulation. The tool is able to translate a flattened TPN model into UPPAAL/Timed Automata for model checking. The paper demonstrates the practical use of the approach through modeling and validation of a system based on the alternating bit protocol. 文献类型: Proceedings Paper 语言: English KeyWords Plus: TIME PETRI NETS; TEMPORAL UNCERTAINTY; SYSTEMS; SIMULATION; AUTOMATA 通讯作者地址: Cicirelli, F (通讯作者), Univ Calabria, DEIS, Lab Ingn Software, I-87036 Arcavacata Di Rende, CS Italy 地址: 1. Univ Calabria, DEIS, Lab Ingn Software, I-87036 Arcavacata Di Rende, CS Italy 出版商: IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA IDS 号: BEE17 ISSN: 1080-241X ISBN: 0-7695-2559-8 |
回复此楼» 猜你喜欢
重磅！青年科学基金项目（C类）资助增幅预计超过50%
已经有8人回复
-
求助2，4-二氯-5-嘧啶甲醛的合成方法
已经有6人回复
-
评审感受-评审感受-评审感受
已经有19人回复
-
售SCI一区T0P文章，我:8.O.5.5.1.O.5.4,科目齐全,可+急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.5.5.1.O.5.4,科目齐全,可+急
已经有4人回复
-
售SCI一区T0P文章，我:8.O.5.5.1.O.5.4,科目齐全,可+急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.5.5.1.O.5.4,科目齐全,可+急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.5.5.1.O.5.4,科目齐全,可+急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.5.5.1.O.5.4,科目齐全,可+急
已经有4人回复
-
售SCI一区T0P文章，我:8.O.5.5.1.O.5.4,科目齐全,可+急
已经有3人回复
toepassing
木虫 (著名写手)
- 应助: 1 (幼儿园)
- 金币: 2302.8
- 散金: 684
- 红花: 1
- 沙发: 1
- 帖子: 1475
- 在线: 238.8小时
- 虫号: 404426
- 注册: 2007-06-16
- 专业: 认知科学
2楼2010-08-30 10:41:08
帮 |
3楼2010-08-30 12:55:08
20
精华III:
