Formal analysis of multicast routing protocol PIM-SM based on extended Petri net
Guodong Wang · Yunnan Daxue xuebao. Shehui kexue ban · 2004
PIM-SM is an important class of multicast routing protocol.It is presented a formal protocol description of PIM-SM with extended place/transition net on the base of detailed mechanism analysis,thus lay a formalization and automation foundation for computer simulation and implementation of the PIM-SM.