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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.637507
