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. In this paper, we designed the group communication protocol which is low protocol-message overhead and efficiency. The atomic and reliable group communication protocol designed in this 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, we are verified our protocol by the Petri nets reduction.