The paper deals with power system topology verification with use of multiagent systems. Three such multiagent systems are proposed. These systems realize verification with use of idea which allows considering the verification of topology of whole power system as many local topology verification processes. For each of the described multiagent systems, analysis, design, and implementation are outlined. The analysis models of the considered multiagent systems are made using the MaSE technology. These models are mapped to the JADE implementation models. For the presented multiagent systems, performance experiments have been carried out. At the end of the paper, comparison of multiagent systems is made, paying special attention to performance effectiveness of these systems.