Sanz FA. Modelación de enclavamientos en subestaciones eléctricas de transmission de energía utilizando Redes de Petri de alto nivel. revinge. 2007;1(26):39-46. doi:10.16924/revinge.26.5