Modeling of the multicast transport protocols using Petri nets

After a brief introduction to the theory of Petri nets, the MTP (multicast transport protocols) for the distributed network management system is presented. The authors designed the group communication protocol which has low protocol-message overhead and efficiency. The atomic and reliable group communication protocol designed in the paper guarantees that each message sent to a group is delivered to all surviving processes in the group or none of them. After a model of the domain management system of MTP is proposed, the authors verified the protocol by Petri net reduction