Formal Modelling of Smart Grids: Configurability vs. Conventionality

In Vietnam nowadays, smart grids have been built and operated recently in some regions when they enable detecting, reacting and pro-acting to changes in usage and multiple issues of the electricity system, and they may have self-healing capabilities. Therefore, study the correctness of the system design of a smart grid has to be carried out carefully before a grid being implement, especially in developing countries like Vietnam.In this research, we proposed a new approach to represent smart grids using Colored Petri Net (CPN). Our approach allows engineers to configure the net dynamically to verify the capacities of the net. The proposed approach also allows engineers to re-configure the system easily to adapt to any change in the grid without re-modelling the system from the grid topology. Additionally, when the state spaces of the nets constructed by the new approach are smaller than that of the conventional modelling approach, the verification for smart grid properties can overcome its ’inherently intractable’ drawback.