| 查看: 332 | 回复: 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的计划书的filecode
已经有4人回复
-
小木虫上这么多卖论文的，真有人买论文么？感觉没必要啊
已经有7人回复
-
职称评审，求友友推荐见刊最快的期刊
已经有3人回复
-
为什么网上很多人说本周 12号出结果
已经有6人回复
-
听说今天filecode变了
已经有49人回复
-
帮忙看看fileCode
已经有12人回复
-
FileCode能看出啥？
已经有17人回复
-
奇怪，两个人的filecode固定段从头到尾一模一样
已经有6人回复
-
filecode
已经有9人回复
-
应该是93bebmhtak前后十一个字符比较关键
已经有23人回复
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
100