Petri nets, especially the extended Petri nets, have a great capacity of modeling communication protocols and can support the verification techniques very efficiently. After a discussion of various properties of the protocols to be verified, this paper pr