Abstract—This paper proposes a distributed energy
management approach that aims to manage residential energy.
The proposed approach considers the neighborhood energy
surpluses in order to decrease energy costs. This management is
improved based on a set of trust factors that a buyer defines on
his neighbors to avoid non-optimal energy purchases. To
evaluate the performance of this approach and to study its
impact on the neighborhood, we elaborated a formal model
representing the overall behavior of the system using colored
Petri nets (CP-nets). The choice of CP-nets is justified by the
fact that, in our approach, we have to deal with a variety of
protocols and several operations that are executing
simultaneously, and potentially interacting with each other.
This formalism allowed us to formally verify the proposed
approach as well as to generate a set of performance indicators.
The obtained indicators prove the effectiveness of our solution
compared to other approaches.
Index Terms—Modeling, smart grid, colored petri nets,
formal validation, energy management.
Z. Mhadhbi and B. Zouari are with the Mediatron Research Laboratory,
Higher School of Communications, University of Carthage, 2083, Ariana,
Tunisia (e-mail: zaineb.mhadhbi@gmail.com,
belhassen.zouari@supcom.tn).
S. Zairi is with the Higher School of Digital Economy, University of
Manouba, 2010 Manouba, Tunisia, and also with the Mediatron Research
Laboratory, Higher School of Communications, University of Carthage,
2083, Ariana, Tunisia (e-mail: zairisajeh@fst.rnu.tn).
C. Gueguen is with the Institut de Recherche en Informatique et
Syste`mes Ale´atoires Laboratory, University of Rennes1, 35000 Rennes,
France (e-mail: cedric.gueguen@irisa.fr).
[PDF]
Cite:Zeineb Mhadhbi, Sajeh Zairi, Cedric Gueguen, and Belhassen Zouari, "Validation of a Distributed Energy Management Approach for Smart Grid Based on a Generic Colored Petri Nets Model," Journal of Clean Energy Technologies vol. 6, no. 1, pp. 20-25, 2018.