In this paper, we present a Simulator Program that identifies the topologies and supports operation staff in decisionelectrical power system operation consider load reestablishment procedures and topological possibilities to each event, offering a selection of the best settings. Facing a electrical power transmission system contingency , the Simulator considers the current state and uses special algorithms that detect the grid topology, interprets results and presents to the operators a rank of procedures with their respective degrees of reliability. For these actions the software Simulator make the circuits breakers states analysis and electric keys, load flow solution with the on line data, makes risk prediction and the mathematical analysis of remote sensing values. The software Simulator uses in some of his actions, special algorithms that are based on Paraconsistent Annotated Logic (PAL), which is a non-classical logic whose main property is to accept contradiction in their fundamentals. These algorithms based on PAL offer greater speed of processing and allows the Paraconsistent Simulator of topologies (ParaSimTop) to be implemented in real time.