A group RPC protocol analysis for distributed network management systems using Petri nets

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.