Analysis and Petri-Net Modeling of Reliable Multicast Protocol PGM

In this paper, we present a formal protocol description of the dynamic mechanisms for the reliable multicast protocol PGM(Pragmatic General Multicast) with extended place/transition net on the base of detailed mechanism analysis, thus lay a solid foundation for analysis and implementation of the PGM protocol.