DocumentCode
2429043
Title
A group RPC protocol analysis for distributed network management systems using Petri nets
Author
Lee, Jong-Kun ; Lee, Chang-Suek ; Lee, Kwang-Hui
Author_Institution
Dept. of Comput. Sci., Changwon Nat. Univ., South Korea
Volume
5
fYear
1997
fDate
12-15 Oct 1997
Firstpage
4382
Abstract
After a brief introduction to the theory of Petri nets, the RPC (Remote Procedure Call) protocol for the distributed network management system is presented. In this paper, we designed the group communications to cooperate with RPC which can improve reliability, transparency and facility. Our proposed protocol has been verified by the Petri nets
Keywords
Petri nets; computer network management; formal specification; protocols; remote procedure calls; Petri nets; distributed network management systems; facility; group RPC protocol analysis; group communications; reliability; remote procedure call; transparency; Abstracts; Application software; Computer network management; Computer network reliability; Computer science; Distributed computing; Electronic mail; Petri nets; Protocols; Sun;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location
Orlando, FL
ISSN
1062-922X
Print_ISBN
0-7803-4053-1
Type
conf
DOI
10.1109/ICSMC.1997.637507
Filename
637507
Link To Document