Application of Petri nets to the modeling of a wind-solar power plant control system

The communication protocols in multiprocessor systems give complex problems; hence it is necessary to verify the main mechanisms before setting up in order to detect eventual design errors. In this context, the use of formal description techniques is an essential aspect of the design phase. The aim of this article is to present a formal model for a real-time control system for an autonomous wind-solar power station. This model allows, on the one hand, an adequate expression of tasks to be performed (parallelism, synchronisation by message exchanges and by time constraints) and on the other, qualitative (logic of mechanisms) and quantitative (evaluation of performances) analyses. >