Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.

Abstract

This work shows the modeling and control of a system of desalination through reverse osmosis, fed by a hybrid system of electric power generation, based on sources of renewable energies, using colored Petri nets as a tool for analysis and projecting. The proposed approach uses the theory of Petri nets. For elaboration of this work was used algorithms for enumeration of the states space model and for obtaining the enabling functions of the net transitions that represents the automation of the desalination system along with the hybrid energy system. It was developed a colored Petri net that approached the complete operation of the desalination system, including the energy hybrid system. Simulations of this net were accomplished through the computer tool Design/CPN, and the expected results were obtained. Based on these results, some analysis were performed with the objective of showing that the automation propose for this process is correct, because all the inherent properties to Petri nets were veri ed. In other words, the system does not present any problem, such as, dead lock, unreachability, and non reversibility. The applied methodology in this work demonstrates the usefulness of Petri nets in the development of automation in a reverse osmosis desalination process.