| 查看: 305 | 回复: 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 |
回复此楼» 猜你喜欢
什么是人一生最重要的？
已经有10人回复
-
面上可以超过30页吧？
已经有13人回复
-
网上报道青年教师午睡中猝死、熬夜猝死的越来越多，主要哪些原因引起的？
已经有10人回复
-
为什么中国大学工科教授们水了那么多所谓的顶会顶刊，但还是做不出宇树机器人？
已经有13人回复
-
版面费该交吗
已经有17人回复
-
体制内长辈说体制内绝大部分一辈子在底层，如同你们一样大部分普通教师忙且收入低
已经有19人回复
-
【博士招生】太原理工大学2026化工博士
已经有8人回复
-
280求调剂
已经有4人回复
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