Modelación de enclavamientos en subestaciones eléctricas de transmission de energía utilizando Redes de Petri de alto nivel

El presente trabajo tiene como objeto proponer una metodología para modelar los principales Esquemas de Enclavamiento, para maniobras pertenecientes a las configuraciones de subestaciones del Sistema Eléctrico Colombiano, para un nivel de tensión de 230 KV. Se utilizará un formalismo matemático como lo son las Redes de Petri Jerárquicas de Alto Nivel (RdPJ) para la modelación de los esquemas de enclavamiento. Una vez obtenido el modelo en RdPJ se simula en STATEFLOW, herramienta computacional del MATLAB diseñada para trabajar con maquinas de estado finito, lo que implicaría la traducción de la RdPJ a un autómata finito.