| ²é¿´: 309 | »Ø¸´: 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 |
» ²ÂÄãϲ»¶
Çóµ÷¼Á
ÒѾÓÐ4È˻ظ´
Ò»Ö¾Ô¸ Î÷±±´óѧ ×Ü·Ö282 Ó¢ÓïÒ»62 Çóµ÷¼Á
ÒѾÓÐ3È˻ظ´
µ÷¼Á310
ÒѾÓÐ4È˻ظ´
±±¿Æ281ѧ˶²ÄÁÏÇóµ÷¼Á
ÒѾÓÐ16È˻ظ´
Ò»Ö¾Ô¸ÉϺ£½»´óÉúÎïÓëҽҩר˶324·Ö£¬Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
Ò»Ö¾Ô¸¹þ¹¤´ó£¬085400£¬320£¬Çóµ÷¼Á
ÒѾÓÐ4È˻ظ´
316Çóµ÷¼Á
ÒѾÓÐ9È˻ظ´
085600 ²ÄÁÏÓ뻯¹¤ 329·ÖÇóµ÷¼Á
ÒѾÓÐ8È˻ظ´
0856Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
299Çóµ÷¼Á
ÒѾÓÐ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













»Ø¸´´ËÂ¥
5