Modeling of multi-agent system for power system topology verification with use of Petri nets

A correct power network topology model is essential from viewpoint of various dispatching control applications. This model is created with use of states of switching devices which are gathered in real-time. In some circumstances, there can be errors in the obtained power network connectivity model. The paper deals with the verification of the mentioned model with the use of a multi-agent system. A multi-agent system can be considered as a discrete event dynamic system. In this situation, to assess structural properties of the multi-agent system for topology verification, Petri nets can be utilized. The aim of the paper is to show rules of modeling and analyzing the considered multi-agent system with use of Petri nets.