Simulation of a novel leader election protocol with the use of Petri nets

被引：3
|
作者：
Amintabar, A [1 ]
Kostin, A [1 ]
Ilushechkina, L [1 ]
机构：
[1] Eastern Mediterranean Univ, Dept Comp Engn, Magusa, Turkey
来源：
NINTH IEEE INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL-TIME APPLICATIONS, PROCEEDINGS | 2005年
关键词：
D O I：
10.1109/DISTRA.2005.38
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A novel leader election protocol for a distributed system is presented The proposed scheme is based on reliable multicast. The use of multicast will considerably simplify the protocol since the group members do not need to know each other's addresses to communicate. Another advantage of using multicast is that members do not have to make any reconfiguration if some members crash, join or leave the group. The paper describes the proposed protocol and discusses the results of the detailed simulation in terms of extended Petri nets.
引用
收藏
页码：283 / 289
页数：7
相关论文
共 50 条
  • [41] Simulation and validation of diagram ladder—petri nets
    J. C. Quezada
    J. Medina
    E. Flores
    J. C. Seck Tuoh
    A. E. Solís
    V. Quezada
    The International Journal of Advanced Manufacturing Technology, 2017, 88 : 1393 - 1405
  • [42] Using timed petri nets in discrete simulation
    Sklenar, J
    Caruana, E
    2nd International Industrial Simulation Conference 2004, 2004, : 7 - 11
  • [43] A probabilistically correct leader election protocol for large groups
    Gupta, I
    van Renesse, R
    Birman, KP
    DISTRIBUTED COMPUTING, PROCEEDINGS, 2000, 1914 : 89 - 103
  • [44] A leader election protocol for timed asynchronous distributed systems
    Amintabar, Amirhasan
    Kostin, Alexander
    Ilushechkina, Ljudmila
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2006, PROCEEDINGS, 2006, 4263 : 877 - 886
  • [45] Elevator dynamic simulation using Petri nets
    Chang, K.-M.
    Fan, C.-K.
    Systems Analysis Modelling Simulation, 2001, 40 (02): : 207 - 238
  • [46] Leader election protocol based on external RNG services
    Gouget, Aline
    Patarin, Jacques
    Toulemonde, Ambre
    2021 3RD CONFERENCE ON BLOCKCHAIN RESEARCH & APPLICATIONS FOR INNOVATIVE NETWORKS AND SERVICES (BRAINS), 2021, : 73 - 80
  • [47] Analyzing Leader Election Protocol by Probabilistic Model Checking
    Guo, Xu
    Yang, Zongyuan
    PROCEEDINGS OF 2016 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2016), 2016, : 564 - 567
  • [48] Formal verification of a leader election protocol in process algebra
    Fredlund, LA
    Groote, JF
    Korver, H
    THEORETICAL COMPUTER SCIENCE, 1997, 177 (02) : 459 - 486
  • [49] A Timed Verification of the IEEE 1394 Leader Election Protocol
    Judi Romijn
    Formal Methods in System Design, 2001, 19 : 165 - 194
  • [50] State space generation for the HAVi leader election protocol
    Usenko, YS
    SCIENCE OF COMPUTER PROGRAMMING, 2002, 43 (01) : 1 - 33
12345