Modeling of the multicast transport protocols using Petri nets

Author

Jong-kun, Lee ; Kwang-Hui, LEE

Author_Institution

Dept. of Comput. Sci., Changwon Nat. Univ., Kyungnam, South Korea

fYear

1995

fDate

3-7 Jul 1995

Firstpage

106

Lastpage

110

Abstract

After a brief introduction to the theory of Petri nets, the MTP (multicast transport protocols) for the distributed network management system is presented. The authors designed the group communication protocol which has low protocol-message overhead and efficiency. The atomic and reliable group communication protocol designed in the paper guarantees that each message sent to a group is delivered to all surviving processes in the group or none of them. After a model of the domain management system of MTP is proposed, the authors verified the protocol by Petri net reduction

Keywords

Petri nets; computer network management; transport protocols; MTP; Petri nets; atomic reliable group communication protocol; distributed network management system; domain management system; efficiency; group communication protocol; multicast transport protocols; protocol-message overhead; surviving processes; Bandwidth; Communication system control; Computer network management; Computer science; Concurrent computing; Multicast protocols; Petri nets; Telecommunication network reliability; Throughput; Transport protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Networks, 1995. Theme: Electrotechnology 2000: Communications and Networks. [in conjunction with the] International Conference on Information Engineering., Proceedings of IEEE Singapore International

Print_ISBN

0-7803-2579-6

Type

conf

DOI

10.1109/SICON.1995.526001

Filename

526001