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 条

[1] Use of expanded Petri nets for protocol specification
Golovin, Yu.A.
Matveeva, V.A.
Automatic Control and Computer Sciences, 1988, 22 (06) : 10 - 16
[2] Use of constraints in Petri nets and their novel applications
Boutet, F
Motet, G
Kubek, JM
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 32 - 37
[3] OSPFv3 protocol simulation with colored Petri nets
Wang, JF
Yang, JH
Xie, GG
Zhou, MT
2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS, 2003, : 247 - 254
[4] Petri nets for protocol engineering
City Univ of Hong Kong, Hong Kong
Comput Commun, 14 (1250-1257):
[5] Petri nets for protocol engineering
Cheung, TY
COMPUTER COMMUNICATIONS, 1996, 19 (14) : 1250 - 1257
[6] Structural fuzzy Petri nets for use in simulation of fuzzy systems
Fatkhi, DV
AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2002, 36 (03) : 34 - 41
[7] Neural simulation of Petri nets
Chen, SW
Fang, CY
Chang, KE
PARALLEL COMPUTING, 1999, 25 (02) : 183 - 207
[8] GRAPHICAL SIMULATION OF PETRI NETS
KUMAR, MPS
SRIKANT, YN
COMPUTERS & GRAPHICS, 1986, 10 (03) : 225 - 228
[9] Novel algorithm for leader election process in virtual traffic light protocol
Choudhary P.
Dwivedi R.K.
Singh U.
International Journal of Information Technology, 2020, 12 (1) : 113 - 117
[10] COMMUNICATION PROTOCOL VALIDATION BY PETRI NETS
BANDMAN, OL
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 82 - 91

← 1 2 3 4 5 →