Synchronization Algorithm for Timed Colored Petri Nets and Ns-2 Simulators

被引:0
|
作者
Rzasa, Wojciech [1 ]
机构
[1] Rzeszow Univ Technol, PL-35959 Rzeszow, Poland
来源
COMPUTER NETWORKS, CN 2013 | 2013年 / 370卷
关键词
Petri nets; simulation; distributed systems; efficiency; TCP;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper describes the method of orchestrating behavior of two discrete-event simulators: Timed Colored Petri Net (TCPN) simulator and popular Ns-2. The simulators are connected to provide reliable model of distributed systems based on TCPN formalism supported with precise TCP model from the Ns-2, based on real implementation. Consequently, precise results of network transmission time estimation can be combined with reliable model of distributed application in order to obtain credible estimations of its efficiency on the basis of simulation. Data passing interface together with clock synchronization algorithm is described and discussed. Results of experiments are compared with simulations.
引用
收藏
页码:1 / 10
页数:10
相关论文
共 50 条
  • [31] Modeling with colored timed object-oriented Petri nets for automated manufacturing systems
    Wang, Li-Chih
    Wu, Shao-Ying
    [J]. Computers and Industrial Engineering, 1998, 34 (02): : 463 - 480
  • [32] Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets
    Entezari-Maleki, Reza
    Etesami, Sayed Ehsan
    Ghorbani, Negar
    Niaki, Arian Akhavan
    Sousa, Leonel
    Movaghar, Ali
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (03): : 947 - 961
  • [33] Reliability, Availability, and Maintainability Assessment of a Mechatronic System Based on Timed Colored Petri Nets
    Mehdi, Imane
    Boudi, El Mostapha
    Mehdi, Mohammed Amine
    [J]. APPLIED SCIENCES-BASEL, 2024, 14 (11):
  • [34] Energy Modeling and Simulation of Flexible Manufacturing Systems Based on Colored Timed Petri Nets
    Wang, Qiulian
    Wang, Xianglian
    Yang, Suihong
    [J]. JOURNAL OF INDUSTRIAL ECOLOGY, 2014, 18 (04) : 558 - 566
  • [35] Agent-oriented Timed Colored Petri Nets Modeling Method and Its Application
    Zhang Ou-ya
    Chen Shun-xiang
    Gao Gui-qing
    Qi Zhen-dong
    Li Yong-xiang
    [J]. 2010 2ND INTERNATIONAL ASIA CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS (CAR 2010), VOL 2, 2010, : 462 - 466
  • [36] Modeling and analysis of reliable Contract Net Protocol Using Timed Colored Petri Nets
    Boukredera, Djamila
    Maamri, Ramdane
    Aknine, Samir
    [J]. 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), 2013, : 17 - 24
  • [37] Affective-Cognition Modeling of Product Ecosystems Using Timed Colored Petri Nets
    Zhou, Feng
    Takahashi, Koji
    Xu, Qianli
    Jiao, Jianxin
    Zhang, Daqing
    [J]. 2009 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1689 - +
  • [38] FAULT SECTION ESTIMATION OF POWER-SYSTEM USING COLORED AND TIMED PETRI NETS
    YANG, CL
    YOKOYAMA, A
    SEKINE, Y
    [J]. ELECTRICAL ENGINEERING IN JAPAN, 1995, 115 (02) : 89 - 101
  • [39] Analysis of source code metrics from ns-2 and ns-3 network simulators
    Luis Font, Juan
    Inigo, Pablo
    Dominguez, Manuel
    Luis Sevillano, Jose
    Amaya, Claudio
    [J]. SIMULATION MODELLING PRACTICE AND THEORY, 2011, 19 (05) : 1330 - 1346
  • [40] A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
    David, Alexandre
    Jacobsen, Lasse
    Jacobsen, Morten
    Srba, Jiri
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (102): : 125 - 140