FORMAL ANALYSIS OF MULTICAST GROUP DYNAMIC MANAGEMENT PROTOCOL IGMP BASED ON PETRI NETS

In this paper, we have a formal protocol description of IGMP with extended place/transition net on the base of detailed mechanism analysis, thus lay a solid foundation for analysis and implementation of the IGMP IP